default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 3

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Mathematical Structures in Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 3, Number 1, March 1993

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BloomE93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BloomE93
Stephen L. Bloom, Zoltán Ésik:
Equational Axioms for Regular Sets. 1-24
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Troeger93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Troeger93
Douglas R. Troeger:
Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. 25-62
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Obtulowicz93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Obtulowicz93
Adam Obtulowicz:
Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions. 63-92
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Hoofman93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Hoofman93
Raymond Hoofman:
The Theory of Semi-Functors. 93-128

Volume 3, Number 2, June 1993

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Roziere93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Roziere93
Paul Rozière:
Admissible and Derivable Rules in Intuitionistic Logic. 129-136
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DrosteG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DrosteG93
Manfred Droste, Rüdiger Göbel:
Universal Domains and the Amalgamation Property. 137-159
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AbramskyV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AbramskyV93
Samson Abramsky, Steven Vickers:
Quantales, Observational Logic and Process Semantics. 161-227
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Lambek93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Lambek93
Joachim Lambek:
Least Fixpoints of Endofunctors of Cartesian Closed Categories. 229-257
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Zhang93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Zhang93
Guo-Qiang Zhang:
Some Monoidal Closed Categories of Stable Domains and Event Structures. 259-276

Volume 3, Number 3, September 1993

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Cockett93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Cockett93
J. Robin B. Cockett:
Introduction to Distributive Categories. 277-307
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Berardi93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Berardi93
Stefano Berardi:
An Application of PER Models to Program Extraction. 309-331
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Luo93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Luo93
Zhaohui Luo:
Program Specification and Data Refinement in Type Theory. 333-363

Volume 3, Number 4, December 1993

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Ehrhard93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Ehrhard93
Thomas Ehrhard:
Hypercoherences: A Strongly Stable Model of Linear Logic. 365-385
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Riecke93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Riecke93
Jon G. Riecke:
Fully Abstract Translations Between Functional Languages. 387-415
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BackhouseW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BackhouseW93
Roland Carl Backhouse, Jaap van der Woude:
Demonic Operators and Monotype Factors. 417-433
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/OHearn93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/OHearn93
Peter W. O'Hearn:
A Model for Syntactic Control of Interference. 435-465

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.