->Volume 2
Samson Abramsky , T. S. E. Maibaum (Eds.):
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91).
Lecture Notes in Computer Science 493 Springer 1991, ISBN 3-540-53982-4
CAAP
Colloquium on Trees in Algebra and Programming
export record as
dblp key:
Luca Aceto :
Full Abstraction for Series-Parallel Pomsets.
1-25
export record as
dblp key:
export record as
dblp key:
conf/tapsoft/Kwiatkowska91 export record as
dblp key:
export record as
dblp key:
Anne-Cécile Caron :
Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties.
74-89
export record as
dblp key:
export record as
dblp key:
conf/tapsoft/Baumeister91 Hubert Baumeister :
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.
103-120
export record as
dblp key:
conf/tapsoft/AstesianoC91 export record as
dblp key:
Zhaohui Luo :
Program Specification and Data Refinement in Type Theory.
143-168
export record as
dblp key:
Philippe Granger :
Static Analysis of Linear Congruence Equalities among Variables of a Program.
169-192
export record as
dblp key:
export record as
dblp key:
conf/tapsoft/KilpelainenM91 export record as
dblp key:
conf/tapsoft/KasangianV91 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/tapsoft/CorradiniRP91 export record as
dblp key:
export record as
dblp key:
conf/tapsoft/GabbrielliL91 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Franck van Breugel :
Comparative Semantics for a Real-Time Programming Language with Integration.
397-411
export record as
dblp key:
conf/tapsoft/Ortega-MallenF91 export record as
dblp key:
conf/tapsoft/Schwartzbach91
data released under the ODC-BY 1.0 license
