default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 4

> 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 4, Number 1, March 1994

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Courcelle94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Courcelle94
Bruno Courcelle:
Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties. 1-32
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Moor94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Moor94
Oege de Moor:
Categories, Relations and Dynamic Programming. 33-69
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Hasegawa94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Hasegawa94
Ryu Hasegawa:
Categorical Data Types in Parametric Polymorphism. 71-109
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Streicher94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Streicher94
Thomas Streicher:
A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists. 111-115

Volume 4, Number 2, June 1994

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/KnijnenburgN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/KnijnenburgN94
Peter M. W. Knijnenburg, Frank Nordemann:
Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. 117-146
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BaclawskiSW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BaclawskiSW94
Kenneth Baclawski, Dan A. Simovici, William White:
A Categorical Approach to Database Semantics. 147-183
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DuvalR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DuvalR94
Dominique Duval, Jean-Claude Reynaud:
Sketches and Computation - I: Basic Definitions and Static Evaluation. 185-238
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DuvalR94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DuvalR94a
Dominique Duval, Jean-Claude Reynaud:
Sketches and Computation - II: Dynamic Evaluation and Applications. 239-271
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FleuryR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FleuryR94
Arnaud Fleury, Christian Retoré:
The Mix Rule. 273-285

Volume 4, Number 3, September 1994

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Rosenthal94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Rosenthal94
Kimmo I. Rosenthal:
A Categorical Look at Tree Automata and Context-Free Languages. 287-293
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/PfenderKP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/PfenderKP94
Michael Pfender, K. Kröplin, D. Pape:
Primitive Recursion, Equality, and a Universal Set. 295-313
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CosmoK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CosmoK94
Roberto Di Cosmo, Delia Kesner:
Simulating Expansions without Expansions. 315-362
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GoguenD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GoguenD94
Joseph A. Goguen, Razvan Diaconescu:
An Oxford Survey of Order Sorted Algebra. 363-392

Volume 4, Number 4, December 1994

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Simmons94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Simmons94
Harold Simmons:
The Glueing Construction and Lax Limits. 393-431
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/EhrenfeuchtR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/EhrenfeuchtR94
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Dynamic Labeled 2-Structures. 433-455
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AspertiL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AspertiL94
Andrea Asperti, Cosimo Laneve:
Interaction Systems I: The Theory of Optimal Reductions. 457-504
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Tschantz94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Tschantz94
Steven T. Tschantz:
Languages under Concatenation and Shuffling. 505-511

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.