Search alternatives:
bounded theory » bounds theory, bounded theories, grounded theory6
blended theory » extended theory, blending theory, blended query
grounded » ground, founded
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Kripke Structures -- Model-Checking Infinite Systems Generated by Ground Tree Rewriting -- Bounded MSC...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... and Existential Properties -- A Type System for Bounded Space and Functional In-Place Update—Extended Abstract...”
Cover Image
Read Now

3
Published 2017
Springer International Publishing
Table of Contents: “... with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending...”
Cover Image
Read Now

4
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...-Riders but Unconditional Security -- A Novel Broadcast Encryption Based on Time-Bound Cryptographic Keys...”