dblp.uni-trier.de www.uni-trier.de

Electronic Notes in Theoretical Computer Science, Volume 23

FLoC'99 Second Federated Logic Conference

Volume 23, Number 1, 1999

A Tutorial Workshop on Realizability Semantics and Applications
A workshop associated to the 1999 Federated Logic Conference
Trento, Italy, June 30 - July 1, 1999

Volume 23, Number 2, 1999

SMC'99 First International Workshop on Symbolic Model Checking
Trento, Italy, July 6, 1999

Volume 23, Number 3, 1999

CALCULEMUS 99 Systems for Integrated Computation and Deduction
Trento, Italy, July 11-12, 1999

Copyright © Mon Mar 15 04:00:54 2010 by Michael Ley (ley@uni-trier.de)