1
by Karhumäki, Juhani
Published 2004
Springer Berlin Heidelberg
Subjects: ...Logic design...

2
by Brauer, Wilfried
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Logic design...

3
Published 2002
Springer Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...

4
Published 2014
Springer International Publishing
Subjects: ...Computer Science Logic and Foundations of Programming...

5
Published 2006
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

6
Published 2012
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

7
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... of Bounded Context-Free Languages -- Definable Transductions and Weighted Logics for Texts -- A Star...

8
Published 2004
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

9
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Point Logic -- Counting in Trees for Free -- Games with Winning Conditions of High Borel Complexity...

10
Published 2008
Springer US
Table of Contents: ...Track B -- From Processes to ODEs by Chemistry -- Differential Linear Logic and Processes...

11
Published 1999
Springer Berlin Heidelberg
Table of Contents: .... Novel Directions -- Reversible Molecular Computation in Ciliates -- Logic, Probability, and Rough Sets...