Anders Schack-Nielsen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Anders Schack-Nielsen, Carsten Schürmann: Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR 2008: 320-326

1 Anders Schack-Nielsen: Induction on Concurrent Terms. Electr. Notes Theor. Comput. Sci. 196: 37-51 (2008)

	2008
2		Anders Schack-Nielsen, Carsten Schürmann: Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR 2008: 320-326
1		Anders Schack-Nielsen: Induction on Concurrent Terms. Electr. Notes Theor. Comput. Sci. 196: 37-51 (2008)

Coauthor Index

1 Carsten Schürmann [2]