dblp.uni-trier.dewww.uni-trier.de

Florent Kirchner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEFlorent Kirchner, François-Régis Sinot: Rule-Based Operational Semantics for an Imperative Language. Electr. Notes Theor. Comput. Sci. 174(1): 35-47 (2007)
2EEFlorent Kirchner, César Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007)
2006
1EEFlorent Kirchner: A Finite First-Order Theory of Classes. TYPES 2006: 188-202

Coauthor Index

1César Muñoz [2]
2François-Régis Sinot [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)