Jan Ekman

List of publications from the DBLP Bibliography Server - FAQ

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

1998

2 Jan Ekman: Propositions in Propositional Logic Provable Only by Indirect Proofs. Math. Log. Q. 44: 69-91 (1998)

1992

1 Jan Ekman: A Note on the Characterization of Weak Bisimulation Congruence in CCS Inf. Comput. 96(1): 115-118 (1992)

1998
2		Jan Ekman: Propositions in Propositional Logic Provable Only by Indirect Proofs. Math. Log. Q. 44: 69-91 (1998)
1992
1		Jan Ekman: A Note on the Characterization of Weak Bisimulation Congruence in CCS Inf. Comput. 96(1): 115-118 (1992)