Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs22.bht:"
download as .bib file
@article{DBLP:journals/mscs/AbalDFP12,
author = {Gonzalo Abal and
Raul Donangelo and
M. Forets and
Renato Portugal},
title = {Spatial quantum search in a triangular network},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {3},
pages = {521--531},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000600},
doi = {10.1017/S0960129511000600},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AbalDFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoCI12,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Proving the validity of equations in {GSOS} languages using rule-matching
bisimilarity},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {291--331},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000417},
doi = {10.1017/S0960129511000417},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoCI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoILS12,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Paul Blain Levy and
Joshua Sack},
title = {Characteristic formulae for fixed-point semantics: a general framework},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {125--173},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000375},
doi = {10.1017/S0960129511000375},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoILS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BabiakRS12,
author = {Tom{\'{a}}s Babiak and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {Almost linear B{\"{u}}chi automata},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {203--235},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000399},
doi = {10.1017/S0960129511000399},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BabiakRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaezS12,
author = {John C. Baez and
Mike Stay},
title = {Algorithmic thermodynamics},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {771--787},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000521},
doi = {10.1017/S0960129511000521},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaezS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaillotLM12,
author = {Patrick Baillot and
Ugo Dal Lago and
Jean{-}Yves Moyen},
title = {On quasi-interpretations, blind abstractions and implicit complexity},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {549--580},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000685},
doi = {10.1017/S0960129511000685},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaillotLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BauerJLLS12,
author = {Sebastian S. Bauer and
Line Juhl and
Kim G. Larsen and
Axel Legay and
Jir{\'{\i}} Srba},
title = {Extending modal transition systems with structured labels},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {581--617},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000697},
doi = {10.1017/S0960129511000697},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BauerJLLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BeggsCT12,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {The impact of models of a physical oracle on computational power},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {853--879},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000557},
doi = {10.1017/S0960129511000557},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BeggsCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiFGK12,
author = {Filippo Bonchi and
Sibylle B. Fr{\"{o}}schle and
Daniele Gorla and
Bartek Klin},
title = {Preface to special issue: EXPRESS, {ICE} and {SOS} 2009},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {123--124},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000363},
doi = {10.1017/S0960129511000363},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonchiFGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CaludeC12,
author = {Cristian S. Calude and
S. Barry Cooper},
title = {Introduction: computability of the physical},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {723--728},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000491},
doi = {10.1017/S0960129511000491},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CaludeC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DArgenioTW12,
author = {Pedro R. D'Argenio and
Pedro S{\'{a}}nchez Terraf and
Nicol{\'{a}}s Wolovick},
title = {Bisimulations for non-deterministic labelled Markov processes},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {1},
pages = {43--68},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000454},
doi = {10.1017/S0960129511000454},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DArgenioTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Diaconescu12,
author = {Razvan Diaconescu},
title = {Interpolation for predefined types},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {1},
pages = {1--24},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000430},
doi = {10.1017/S0960129511000430},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Diaconescu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DosenP12,
author = {Kosta Dosen and
Zoran Petric},
title = {Shuffles and concatenations in the construction of graphs},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {6},
pages = {904--930},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000648},
doi = {10.1017/S0960129511000648},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DosenP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DumasDFR12,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Laurent Fousse and
Jean{-}Claude Reynaud},
title = {A duality between exceptions and states},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {719--722},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000752},
doi = {10.1017/S0960129511000752},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DumasDFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GazdaF12,
author = {Maciej Gazda and
Wan J. Fokkink},
title = {Modal logic and the approximation induction principle},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {175--201},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000387},
doi = {10.1017/S0960129511000387},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GazdaF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GuiraudM12,
author = {Yves Guiraud and
Philippe Malbos},
title = {Coherence in monoidal track categories},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {6},
pages = {931--969},
year = {2012},
url = {https://doi.org/10.1017/S096012951100065X},
doi = {10.1017/S096012951100065X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GuiraudM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HajdinjakB12,
author = {Melita Hajdinjak and
Gavin M. Bierman},
title = {Extending relational algebra with similarities},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {686--718},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000740},
doi = {10.1017/S0960129511000740},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HajdinjakB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Hasegawa12,
author = {Masahito Hasegawa},
title = {A quantum double construction in Rel},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {618--650},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000703},
doi = {10.1017/S0960129511000703},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Hasegawa12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/IstrateMR12,
author = {Gabriel Istrate and
Madhav V. Marathe and
S. S. Ravi},
title = {Adversarial scheduling in discrete models of social dynamics},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {788--815},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000533},
doi = {10.1017/S0960129511000533},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/IstrateMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JohnsonRW12,
author = {Michael Johnson and
Robert D. Rosebrugh and
Richard J. Wood},
title = {Lenses, fibrations and universal translations},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {1},
pages = {25--42},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000442},
doi = {10.1017/S0960129511000442},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/JohnsonRW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LiP12,
author = {Angsheng Li and
Pan Peng},
title = {The small-community phenomenon in networks},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {3},
pages = {373--407},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000570},
doi = {10.1017/S0960129511000570},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LiP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Longo12,
author = {Giuseppe Longo},
title = {Incomputability in Physics and Biology},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {880--900},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000569},
doi = {10.1017/S0960129511000569},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Longo12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Manin12,
author = {Yuri I. Manin},
title = {Renormalisation and computation {II:} time cut-off and the Halting
Problem},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {729--751},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000508},
doi = {10.1017/S0960129511000508},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Manin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Manzonetto12,
author = {Giulio Manzonetto},
title = {What is a categorical model of the differential and the resource {\(\lambda\)}-calculi?},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {3},
pages = {451--520},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000594},
doi = {10.1017/S0960129511000594},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Manzonetto12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Matsuoka12,
author = {Satoshi Matsuoka},
title = {A coding theoretic study of {MLL} proof nets},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {3},
pages = {409--449},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000582},
doi = {10.1017/S0960129511000582},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Matsuoka12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MatthesS12,
author = {Ralph Matthes and
Sergei Soloviev},
title = {Preface to the special issue: commutativity of algebraic diagrams},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {6},
pages = {901--903},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000636},
doi = {10.1017/S0960129511000636},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MatthesS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Padovani12,
author = {Luca Padovani},
title = {On projecting processes into session types},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {237--289},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000405},
doi = {10.1017/S0960129511000405},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Padovani12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PauleveMR12,
author = {Lo{\"{\i}}c Paulev{\'{e}} and
Morgan Magnin and
Olivier F. Roux},
title = {Static analysis of Biological Regulatory Networks dynamics using abstract
interpretation},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {4},
pages = {651--685},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000739},
doi = {10.1017/S0960129511000739},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PauleveMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PerovicTS12,
author = {Aleksandar Perovic and
Aleksandar Takaci and
Srdan Skrbic},
title = {Formalising {PFSQL} queries using {\L}{\(\Pi\)} fuzzy logic},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {3},
pages = {533--547},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000673},
doi = {10.1017/S0960129511000673},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/PerovicTS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PhillipsU12,
author = {Iain Phillips and
Irek Ulidowski},
title = {A hierarchy of reverse bisimulations on stable configuration structures},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {333--372},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000429},
doi = {10.1017/S0960129511000429},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PhillipsU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Rannou12,
author = {Pierre Rannou},
title = {Properties of co-operations: diagrammatic proofs},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {6},
pages = {970--986},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000661},
doi = {10.1017/S0960129511000661},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Rannou12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Sorkin12,
author = {Rafael D. Sorkin},
title = {Toward a fundamental theorem of quantal measure theory},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {816--852},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000545},
doi = {10.1017/S0960129511000545},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Sorkin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Tadaki12,
author = {Kohtaro Tadaki},
title = {A statistical mechanical interpretation of algorithmic information
theory {III:} composite systems and fixed points},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {752--770},
year = {2012},
url = {https://doi.org/10.1017/S096012951100051X},
doi = {10.1017/S096012951100051X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Tadaki12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Valentini12,
author = {Silvio Valentini},
title = {Relative formal topology: the binary positivity predicate comes first},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {1},
pages = {69--102},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000466},
doi = {10.1017/S0960129511000466},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Valentini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Wilander12,
author = {Olov Wilander},
title = {Constructing a small category of setoids},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {1},
pages = {103--121},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000478},
doi = {10.1017/S0960129511000478},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Wilander12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-24 05:36 CEST 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:
