1984 | ||
---|---|---|
6 | Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984) | |
1982 | ||
5 | C. Pair: Abstract Data Types and Algebraic Semantics of Programming Languages. Theor. Comput. Sci. 18: 1-31 (1982) | |
1979 | ||
4 | C. Pair, M. Amirchahy, D. Neel: Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. J. Comput. Syst. Sci. 19(1): 1-17 (1979) | |
1978 | ||
3 | J. Berger, C. Pair: Inference for Regular Bilanguages. J. Comput. Syst. Sci. 16(1): 100-122 (1978) | |
1974 | ||
2 | C. Pair: Formalization of the Notions of Data, Information and Information Structure. IFIP Working Conference Data Base Management 1974: 149-168 | |
1968 | ||
1 | C. Pair, Alain Quéré: Définition et Etude des Bilangages Réguliers Information and Control 13(6): 565-593 (1968) |
1 | M. Amirchahy | [4] |
2 | J. Berger | [3] |
3 | Manfred Broy | [6] |
4 | D. Neel | [4] |
5 | Alain Quéré | [1] |
6 | Martin Wirsing | [6] |