Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 6
Volume 6, Number 1, February 1996
- Maarten M. Fokkinga:
Datatype Laws without Signatures. 1-32 - Fernando Orejas
, Marisa Navarro, Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. 33-67 - Marta Bunge, Jonathon Funk:
Constructive Theory of the Lower Power Locale. 69-83 - Egidio Astesiano, Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications. 85-125
Volume 6, Number 2, April 1996
- Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters:
A Note on Recursive Functions. 127-139 - Bruno Courcelle, Jens Lagergren:
Equivalent Definitions of Recognizability for Sets of Graphs of Bounded Tree-Width. 141-165 - Simon Ambler:
A Categorial Approach to the Semantics of Argumentation. 167-188 - Richard Blute:
Hopf Algebras and Linear Logic. 189-217 - Michael Barr:
Appendix: Separability of Tensor in Chu Categories of Cector Spaces. 213-217
Volume 6, Number 3, June 1996
- Cosimo Laneve, Ugo Montanari:
Axiomatizing Permutation Equivalence. 219-249 - Yoram Hirshfeld, Mark Jerrum, Faron Moller:
A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. 251-259 - Antonino Salibra, Giuseppe Scollo:
Interpolation and Compactness in Categories of Pre-Institutions. 261-286 - Arnon Avron:
The Structure of Interlaced Bilattices. 287-299 - Michael Barr:
Fuzzy Models of Linear Logic. 301-312
Volume 6, Number 4, August 1996
- Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
! and ? - Storage as Tensorial Strength. 313-351 - José Luiz Fiadeiro, José Félix Costa:
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. 353-373 - Michael D. Rice:
Reflexive Objects in Topological Categories. 375-386 - Anne Preller, Geneviève Simonet:
Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types. 387-408
Volume 6, Number 5, October 1996
- Benjamin C. Pierce, Davide Sangiorgi:
Typing and Subtyping for Mobile Processes. Math. Struct. Comput. Sci. 6(5): 409-453 (1996) - Adrian Fiech:
Colimits in the Category DCPO. Math. Struct. Comput. Sci. 6(5): 455-468 (1996) - Adriana B. Compagnoni, Benjamin C. Pierce:
Higher-Order Intersection Types and Multiple Inheritance. Math. Struct. Comput. Sci. 6(5): 469-501 (1996)
Volume 6, Number 6, October 1996
- Detlef Seese:
Linear Time Computable Problems and First-Order Descriptions. Math. Struct. Comput. Sci. 6(6): 505-526 (1996) - Hans Jürgen Schneider:
On Outward and Inward Productions in the Categorical Graph-Grammar Approach and Delta-Grammars. Math. Struct. Comput. Sci. 6(6): 527-543 (1996) - David Clark, Richard Kennaway:
Event Structures and Non-Orthogonal Term Graph Rewriting. Math. Struct. Comput. Sci. 6(6): 545-578 (1996) - Erik Barendsen, Sjaak Smetsers:
Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Math. Struct. Comput. Sci. 6(6): 579-612 (1996) - Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. 6(6): 613-648 (1996) - Annegret Habel, Detlef Plump:
Term Graph Narrowing. Math. Struct. Comput. Sci. 6(6): 649-676 (1996)
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.
last updated on 2024-04-19 19:20 CEST 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:
