Search alternatives:
towards temporal » towards general, towards neural, towards central
logics temporal » logic temporal
lords temporal » birds temporal, cards temporal, courts temporal
Cover Image
Read Now

161
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Checking Temporal Epistemic Logic -- Model Checking Driven Heuristic Search for Correct Programs...”
Cover Image
Read Now

162
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and Collapses -- Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks -- The Log...”
Cover Image
Read Now

163
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... the How to the What -- An Overview of Separation Logic -- A Perspective on Program Verification -- Meta...”
Cover Image
Read Now

164
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Randomization in Constraint Programming for Airline Planning -- Towards an Efficient SATEncoding for Temporal...”
Cover Image
Read Now

165
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of Inconsistent Linear Constraints -- Temporal Planning through Mixed Integer Programming: A Preliminary Report...”
Cover Image
Read Now

166
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Generalizing the Modal and Temporal Logic of Linear Time -- Process Algebra versus Axiomatic Specification of a...”
Cover Image
Read Now

167
Published 2023
Springer Nature Switzerland
Table of Contents: “... fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems...”
Cover Image
Read Now

168
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming -- Towards...”
Cover Image
Read Now

169
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning...”
Cover Image
Read Now

170
Published 2016
Springer International Publishing
Table of Contents: “... Consistency Models -- Identifying XML Schema Constraints Using Temporal Logic -- Schedulability Analysis...”
Cover Image
Read Now

171
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Interprocedural Analysis of (Mutually) Recursive Programs -- Towards Algebraic Separation Logic -- Domain...”
Cover Image
Read Now

172
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL...”
Cover Image
Read Now

173
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...It usually works: The temporal logic of stochastic systems -- Local liveness for compositional...”
Cover Image
Read Now

174
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... in Critical Real-Time Systems -- Towards a Methodological Approach to Specification and Analysis of Dependable...”
Cover Image
Read Now

175
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration...”
Cover Image
Read Now

176
Published 2021
Springer International Publishing
Table of Contents: “... of Temporal Constraints for Web Service Composition -- Modeling Attack-Defense Trees’ Countermeasures using...”
Cover Image
Read Now

177
Published 2018
Springer International Publishing
Table of Contents: “... of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation...”
Cover Image
Read Now

178
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... broadcasting on faulty star networks -- Model checking for extended timed temporal logics -- Partial orders...”
Cover Image
Read Now

179
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Verification in Practice -- Ten Years of Performance Evaluation for Concurrent Systems Using CADP -- Towards...”
Cover Image
Read Now

180
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for temporal information systems -- Temporal features of class populations and attributes in conceptual models...”