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/mscs6.bht:"
download as .bib file
@article{DBLP:journals/mscs/Ambler96,
author = {Simon Ambler},
title = {A Categorial Approach to the Semantics of Argumentation},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {2},
pages = {167--188},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000931},
doi = {10.1017/S0960129500000931},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Ambler96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AstesianoC96,
author = {Egidio Astesiano and
Maura Cerioli},
title = {Non-Strict Don't Care Algebras and Specifications},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {1},
pages = {85--125},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000888},
doi = {10.1017/S0960129500000888},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AstesianoC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Avron96,
author = {Arnon Avron},
title = {The Structure of Interlaced Bilattices},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {287--299},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001018},
doi = {10.1017/S0960129500001018},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Avron96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BarendsenS96,
author = {Erik Barendsen and
Sjaak Smetsers},
title = {Uniqueness Typing for Functional Languages with Graph Rewriting Semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {579--612},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070109},
doi = {10.1017/S0960129500070109},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BarendsenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Barr96,
author = {Michael Barr},
title = {Appendix: Separability of Tensor in Chu Categories of Cector Spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {2},
pages = {213--217},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000955},
doi = {10.1017/S0960129500000955},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Barr96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Barr96a,
author = {Michael Barr},
title = {Fuzzy Models of Linear Logic},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {301--312},
year = {1996},
url = {https://doi.org/10.1017/S096012950000102X},
doi = {10.1017/S096012950000102X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Barr96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Blute96,
author = {Richard Blute},
title = {Hopf Algebras and Linear Logic},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {2},
pages = {189--217},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000943},
doi = {10.1017/S0960129500000943},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Blute96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BluteCS96,
author = {Richard Blute and
J. Robin B. Cockett and
Robert A. G. Seely},
title = {! and ? - Storage as Tensorial Strength},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {4},
pages = {313--351},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001055},
doi = {10.1017/S0960129500001055},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BluteCS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BungeF96,
author = {Marta Bunge and
Jonathon Funk},
title = {Constructive Theory of the Lower Power Locale},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {1},
pages = {69--83},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000876},
doi = {10.1017/S0960129500000876},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BungeF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ClarkK96,
author = {David Clark and
Richard Kennaway},
title = {Event Structures and Non-Orthogonal Term Graph Rewriting},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {545--578},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070092},
doi = {10.1017/S0960129500070092},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/ClarkK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CompagnoniP96,
author = {Adriana B. Compagnoni and
Benjamin C. Pierce},
title = {Higher-Order Intersection Types and Multiple Inheritance},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {5},
pages = {469--501},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070043},
doi = {10.1017/S0960129500070043},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CompagnoniP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CourcelleL96,
author = {Bruno Courcelle and
Jens Lagergren},
title = {Equivalent Definitions of Recognizability for Sets of Graphs of Bounded
Tree-Width},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {2},
pages = {141--165},
year = {1996},
url = {https://doi.org/10.1017/S096012950000092X},
doi = {10.1017/S096012950000092X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CourcelleL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroC96,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Mirror, Mirror in my Hand: {A} Duality between Specifications and
Models of Process Behaviour},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {4},
pages = {353--373},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001067},
doi = {10.1017/S0960129500001067},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Fiech96,
author = {Adrian Fiech},
title = {Colimits in the Category {DCPO}},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {5},
pages = {455--468},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070031},
doi = {10.1017/S0960129500070031},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Fiech96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Fokkinga96,
author = {Maarten M. Fokkinga},
title = {Datatype Laws without Signatures},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {1},
pages = {1--32},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000852},
doi = {10.1017/S0960129500000852},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Fokkinga96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HabelP96,
author = {Annegret Habel and
Detlef Plump},
title = {Term Graph Narrowing},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {649--676},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070122},
doi = {10.1017/S0960129500070122},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HabelP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HeckelCEL96,
author = {Reiko Heckel and
Andrea Corradini and
Hartmut Ehrig and
Michael L{\"{o}}we},
title = {Horizontal and Vertical Structuring of Typed Graph Transformation
Systems},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {613--648},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070110},
doi = {10.1017/S0960129500070110},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HeckelCEL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HirshfeldJM96,
author = {Yoram Hirshfeld and
Mark Jerrum and
Faron Moller},
title = {A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence
of Normed Basic Parallel Processes},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {251--259},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000992},
doi = {10.1017/S0960129500000992},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HirshfeldJM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LaneveM96,
author = {Cosimo Laneve and
Ugo Montanari},
title = {Axiomatizing Permutation Equivalence},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {219--249},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000980},
doi = {10.1017/S0960129500000980},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LaneveM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/OrejasNS96,
author = {Fernando Orejas and
Marisa Navarro and
Ana S{\'{a}}nchez},
title = {Algebraic Implementation of Abstract Data Types: {A} Survey of Concepts
and New Compositionality Results},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {1},
pages = {33--67},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000864},
doi = {10.1017/S0960129500000864},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/OrejasNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PierceS96,
author = {Benjamin C. Pierce and
Davide Sangiorgi},
title = {Typing and Subtyping for Mobile Processes},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {5},
pages = {409--453},
year = {1996},
url = {https://doi.org/10.1017/s096012950007002x},
doi = {10.1017/S096012950007002X},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PierceS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PrellerS96,
author = {Anne Preller and
Genevi{\`{e}}ve Simonet},
title = {Functional Completeness of the Free Locally Cartesian Closed Category
an Interpretations of Martin-L{\"{o}}f's Theory of Dependent
Types},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {4},
pages = {387--408},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001080},
doi = {10.1017/S0960129500001080},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PrellerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Rice96,
author = {Michael D. Rice},
title = {Reflexive Objects in Topological Categories},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {4},
pages = {375--386},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001079},
doi = {10.1017/S0960129500001079},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Rice96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SabadiniVW96,
author = {Nicoletta Sabadini and
Sebastiano Vigna and
Robert F. C. Walters},
title = {A Note on Recursive Functions},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {2},
pages = {127--139},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000918},
doi = {10.1017/S0960129500000918},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SabadiniVW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SalibraS96,
author = {Antonino Salibra and
Giuseppe Scollo},
title = {Interpolation and Compactness in Categories of Pre-Institutions},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {261--286},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001006},
doi = {10.1017/S0960129500001006},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SalibraS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Schneider96,
author = {Hans J{\"{u}}rgen Schneider},
title = {On Outward and Inward Productions in the Categorical Graph-Grammar
Approach and Delta-Grammars},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {527--543},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070080},
doi = {10.1017/S0960129500070080},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Schneider96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Seese96,
author = {Detlef Seese},
title = {Linear Time Computable Problems and First-Order Descriptions},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {6},
pages = {505--526},
year = {1996},
url = {https://doi.org/10.1017/s0960129500070079},
doi = {10.1017/S0960129500070079},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Seese96.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-07-02 02:45 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:
