default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs17.bht:"
download as .bib file
@article{DBLP:journals/mscs/Abbes07,
author = {Samy Abbes},
title = {A projective formalism applied to topological and probabilistic event
structures},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {819--837},
year = {2007},
url = {https://doi.org/10.1017/S096012950700607X},
doi = {10.1017/S096012950700607X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Abbes07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaillyL07,
author = {Francis Bailly and
Giuseppe Longo},
title = {Randomness and determinism in the interplay between the continuum
and the discrete},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {289--305},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006007},
doi = {10.1017/S0960129507006007},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaillyL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaldanBCK07,
author = {Paolo Baldan and
Clara Bertolissi and
Horatiu Cirstea and
Claude Kirchner},
title = {A rewriting calculus for cyclic higher-order term graphs},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {363--406},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006093},
doi = {10.1017/S0960129507006093},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaldanBCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bertot07,
author = {Yves Bertot},
title = {Affine functions and series with co-inductive real numbers},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {37--63},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005809},
doi = {10.1017/S0960129506005809},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Bertot07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CockettL07,
author = {J. Robin B. Cockett and
Stephen Lack},
title = {Restriction categories {III:} colimits, partial limits and extensivity},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {775--817},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006056},
doi = {10.1017/S0960129507006056},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CockettL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EscardoJS07,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Thomas Streicher},
title = {Preface},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {5},
pages = {839--839},
year = {2007},
url = {https://doi.org/10.1017/S096012950700624X},
doi = {10.1017/S096012950700624X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EscardoJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FagorziZ07,
author = {Sonia Fagorzi and
Elena Zucca},
title = {A calculus of open modules: call-by-need strategy and confluence},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {675--751},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006238},
doi = {10.1017/S0960129507006238},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FagorziZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FernandezM07,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {More developments in computational models: introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {585--586},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006196},
doi = {10.1017/S0960129507006196},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FernandezM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroL07,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
title = {An algebraic semantics of event-based architectures},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {5},
pages = {1029--1073},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006299},
doi = {10.1017/S0960129507006299},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FuhrmannP07,
author = {Carsten F{\"{u}}hrmann and
David J. Pym},
title = {On categorical models of classical logic and the Geometry of Interaction},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {5},
pages = {957--1027},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006287},
doi = {10.1017/S0960129507006287},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FuhrmannP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Gadducci07,
author = {Fabio Gadducci},
title = {Graph rewriting for the pi-calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {407--437},
year = {2007},
url = {https://doi.org/10.1017/S096012950700610X},
doi = {10.1017/S096012950700610X},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Gadducci07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GarraldaBCD07,
author = {Pablo Garralda and
Eduardo Bonelli and
Adriana B. Compagnoni and
Mariangiola Dezani{-}Ciancaglini},
title = {Boxed ambients with communication interfaces},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {587--645},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006226},
doi = {10.1017/S0960129507006226},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GarraldaBCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Georgeot07,
author = {Bertrand Georgeot},
title = {Complexity of chaos and quantum computation},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {6},
pages = {1221--1263},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006366},
doi = {10.1017/S0960129507006366},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Georgeot07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GeuversL07,
author = {Herman Geuvers and
Iris Loeb},
title = {Natural deduction via graphs: formal definition and computation rules},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {485--526},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006123},
doi = {10.1017/S0960129507006123},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GeuversL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GeuversNSW07,
author = {Herman Geuvers and
Milad Niqui and
Bas Spitters and
Freek Wiedijk},
title = {Constructive analysis, types and exact real numbers},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {3--36},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005834},
doi = {10.1017/S0960129506005834},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GeuversNSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GilZ07,
author = {Joseph Gil and
Yoav Zibin},
title = {Randomised algorithms for isomorphisms of simple types},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {565--584},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006068},
doi = {10.1017/S0960129507006068},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GilZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Girard07,
author = {Jean{-}Yves Girard},
title = {Truth, modality and intersubjectivity},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {6},
pages = {1153--1167},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006342},
doi = {10.1017/S0960129507006342},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Girard07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Grabmayer07,
author = {Clemens Grabmayer},
title = {A duality between proof systems for cyclic term graphs},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {439--484},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006111},
doi = {10.1017/S0960129507006111},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Grabmayer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HonsellLR07,
author = {Furio Honsell and
Marina Lenisa and
Rekha Redamalla},
title = {Coalgebraic description of generalised binary methods},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {647--673},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006214},
doi = {10.1017/S0960129507006214},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HonsellLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Hoyrup07,
author = {Mathieu Hoyrup},
title = {Dynamical systems: stability and simulability},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {247--259},
year = {2007},
url = {https://doi.org/10.1017/S096012950700597X},
doi = {10.1017/S096012950700597X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Hoyrup07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Kendon07,
author = {Viv Kendon},
title = {Decoherence in quantum walks - a review},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {6},
pages = {1169--1220},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006354},
doi = {10.1017/S0960129507006354},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Kendon07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KrivineLT07,
author = {Hubert Krivine and
Annick Lesne and
Jacques Treiner},
title = {Discrete-time and continuous-time modelling: some bridges and gaps},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {261--276},
year = {2007},
url = {https://doi.org/10.1017/S0960129507005981},
doi = {10.1017/S0960129507005981},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KrivineLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lambov07,
author = {Branimir Lambov},
title = {RealLib: An efficient implementation of exact real arithmetic},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {81--98},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005822},
doi = {10.1017/S0960129506005822},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lambov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lesne07,
author = {Annick Lesne},
title = {The discrete versus continuous controversy in physics},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {185--223},
year = {2007},
url = {https://doi.org/10.1017/S0960129507005944},
doi = {10.1017/S0960129507005944},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lesne07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Longley07,
author = {John Longley},
title = {On the ubiquity of certain total type structures},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {5},
pages = {841--953},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006251},
doi = {10.1017/S0960129507006251},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Longley07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LuqueTT07,
author = {Jean{-}Gabriel Luque and
Jean{-}Yves Thibon and
Fr{\'{e}}d{\'{e}}ric Toumazet},
title = {Unitary invariants of qubit systems},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {6},
pages = {1133--1151},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006330},
doi = {10.1017/S0960129507006330},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LuqueTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MackieP07,
author = {Ian Mackie and
Detlef Plump},
title = {Theory and applications of term graph rewriting: introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {361--362},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006081},
doi = {10.1017/S0960129507006081},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MackieP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MadroneroHGDB07,
author = {Javier Madro{\~{n}}ero and
Laurent Hilico and
Beno{\^{\i}}t Gr{\'{e}}maud and
Dominique Delande and
Andreas Buchleitner},
title = {The driven three body Coulomb problem},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {225--246},
year = {2007},
url = {https://doi.org/10.1017/S0960129507005968},
doi = {10.1017/S0960129507005968},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MadroneroHGDB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Mahboubi07,
author = {Assia Mahboubi},
title = {Implementing the cylindrical algebraic decomposition within the Coq
system},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {99--127},
year = {2007},
url = {https://doi.org/10.1017/S096012950600586X},
doi = {10.1017/S096012950600586X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Mahboubi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ManeaMM07,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {On the size complexity of universal accepting hybrid networks of evolutionary
processors},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {753--771},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006202},
doi = {10.1017/S0960129507006202},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ManeaMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MartinsP07,
author = {Manuel A. Martins and
Don Pigozzi},
title = {Behavioural reasoning for conditional equations},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {5},
pages = {1075--1113},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006305},
doi = {10.1017/S0960129507006305},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MartinsP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Mazza07,
author = {Damiano Mazza},
title = {A denotational semantics for the symmetric interaction combinators},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {3},
pages = {527--562},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006135},
doi = {10.1017/S0960129507006135},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Mazza07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MosseriR07,
author = {R{\'{e}}my Mosseri and
Pedro Ribeiro},
title = {Entanglement and Hilbert space geometry for systems with a few qubits},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {6},
pages = {1117--1132},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006329},
doi = {10.1017/S0960129507006329},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MosseriR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/OConnor07,
author = {Russell O'Connor},
title = {A monadic, functional implementation of real numbers},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {129--159},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005871},
doi = {10.1017/S0960129506005871},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/OConnor07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Pagani07,
author = {Michele Pagani},
title = {Proofs, denotational semantics and observational equivalences in Multiplicative
Linear Logic},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {341--359},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005652},
doi = {10.1017/S0960129506005652},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Pagani07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Paul07,
author = {Thierry Paul},
title = {3-body, classical-quantum, discrete-continuous},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {173--175},
year = {2007},
url = {https://doi.org/10.1017/S0960129507005932},
doi = {10.1017/S0960129507005932},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Paul07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Paul07a,
author = {Thierry Paul},
title = {Discrete-continuous and classical-quantum},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {177--183},
year = {2007},
url = {https://doi.org/10.1017/S0960129507005956},
doi = {10.1017/S0960129507005956},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Paul07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Paul07b,
author = {Thierry Paul},
title = {On the status of perturbation theory},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {277--288},
year = {2007},
url = {https://doi.org/10.1017/S0960129507005993},
doi = {10.1017/S0960129507005993},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Paul07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Paul07c,
author = {Thierry Paul},
title = {Quantum computation and quantum information},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {6},
pages = {1115--1115},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006317},
doi = {10.1017/S0960129507006317},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Paul07c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PrellerL07,
author = {Anne Preller and
Joachim Lambek},
title = {Free compact 2-categories},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {2},
pages = {309--340},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005901},
doi = {10.1017/S0960129506005901},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PrellerL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SchroderS07,
author = {Matthias Schr{\"{o}}der and
Alex Simpson},
title = {Two preservation results for countable products of sequential spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {161--172},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005895},
doi = {10.1017/S0960129506005895},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SchroderS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SpittersGNW07,
author = {Bas Spitters and
Herman Geuvers and
Milad Niqui and
Freek Wiedijk},
title = {Preface to the special issue: Constructive analysis, types and exact
real numbers},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1017/S0960129506005846},
doi = {10.1017/S0960129506005846},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SpittersGNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-24 22:50 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
