Daniel Mey

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Daniel Mey: Finite Games for a Predicate Logic Without Contractions. Theor. Comput. Sci. 123(2): 341-349 (1994)

1989

1 Daniel Mey: A Predicate Calculus with Control of Derivations. CSL 1989: 254-266

1994
2		Daniel Mey: Finite Games for a Predicate Logic Without Contractions. Theor. Comput. Sci. 123(2): 341-349 (1994)
1989
1		Daniel Mey: A Predicate Calculus with Control of Derivations. CSL 1989: 254-266