MPG.eBooks - Search Results - "existential"

Cover Image

1

STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “...The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE—Complete...”

Cover Image

2

STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Parallelism in Trace Monoids -- A Further Step towards a Theory of Regular MSC Languages -- Existential...”