Cover Image
Read Now

1
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... ?TP -- 10. The Principle of Well-Founded Orderings -- 11. Additional Propositional Variables -- IV...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... analysis techniques for stochastic well-formed nets and stochastic process algebras -- Modelling...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets...”
Cover Image
Read Now

4
Published 1990
Springer New York
Table of Contents: “... -- On cylindric algebraic model theory -- Dynamic algebras as a well-behaved fragment of relation algebras -- All...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and Continuous Feedback on Arousal and Well-Being: Preliminary Findings -- Effects ofthe Office Environment...”
Cover Image
Read Now

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... which are well balanced -- Construction of unequal error protection codes -- Unidirectional error...”
Cover Image
Read Now

7
Published 2020
Springer International Publishing
Table of Contents: “... Algorithm Copes well with Deception and Epistasis -- A Beam Search Approach to the Traveling Tournament...”
Cover Image
Read Now

8
Published 2001
Birkhäuser
Table of Contents: “... representations and uniqueness sets for star-invariant subspaces -- Well-posed linear systems, Lax—Phillips...”
Cover Image
Read Now

9
Published 2014
Springer International Publishing
Table of Contents: “... Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems...”
Cover Image
Read Now

10
by Lipton, Richard J.
Published 2010
Springer US
Table of Contents: “...=NP Well Posed? -- What Would You Bet? -- What Happens When P=NP Is Resolved? -- NP Too Big or P Too...”
Cover Image
Read Now

11
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- On the Semantics of Coinductive Types in Martin-Löf Type Theory -- Look: Simple Stochastic Relations Are Just, Well...”
Cover Image
Read Now

12
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...”
Cover Image
Read Now

13
Published 2020
Springer International Publishing
Table of Contents: “... -- Edge elimination and weighted graph classes -- Well-partitioned chordal graphs: obstruction set...”
Cover Image
Read Now

14
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Unfolding parametric automata -- Fundamental structures in Well-Structured infinite Transition Systems...”
Cover Image
Read Now

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded...”
Cover Image
Read Now

16
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Decision Petri Net and Markov Decision Well-Formed Net Formalisms -- Comparison of the Expressiveness...”
Cover Image
Read Now

17
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Broadcasting Systems -- Symbolic timing devices.-An algebraic construction of the well-founded model...”
Cover Image
Read Now

18
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... algorithms for convex hull and triangulation in 3-dimensional space -- Two simple characterizations of well...”
Cover Image
Read Now

19
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...An ASM Semantics of Token Flow in UML 2 Activity Diagrams -- Well-Structured Model Checking...”
Cover Image
Read Now

20
by Wu, Wen-tsün
Published 1994
Springer Vienna
Table of Contents: “... Factorization of polynomials -- 4.3 Well-ordering of polynomial sets -- 4.4 A constructive theory of algebraic...”