Searching for "Fixed point logics." – sorted by Relevance.
234 documents found, showing 1 through 10.
Next 10 →
-
Guarded Fixed Point Logic
- …Guarded Fixed Point Logic Erich Gradel 1 RWTH Aachen Igor Walukiewicz 2 Warsaw University…
- Cited by 45 (3 self) – Add To MetaCart
-
Fixed Point Logics
- …Fixed Point Logics Anuj Dawar University of Cambridge Computer Laboratory Cambridge CB2 3QG, UK…
- Cited by 9 (4 self) – Add To MetaCart
-
On Fixed-Point Logic With Counting
- …On fixed-point logic with counting Jorg Flum and Martin Grohe October 30, 1998 One…
- Cited by 2 (1 self) – Add To MetaCart
-
Fixed-Point Logic With the Approximation
- …Fixed-point logic with the approximation modality and its Kripke completeness Hiroshi Nakano…
- Add To MetaCart
-
Guarded Quantification in Least Fixed Point Logic
- …Guarded Quantication in Least Fixed Point Logic Gregory McColm Department of Mathematics…
- Cited by 2 (1 self) – Add To MetaCart
-
On the (infinite) Model Theory of Fixed-Point Logics
- …On the (infinite) model theory of fixed-point logics Jorg Flum December 20, 1995 In the last…
- Cited by 6 (0 self) – Add To MetaCart
-
Arity Hierarchies for Fixed-Point Logics
- …Arity Hierarchies for Fixed-Point Logics Foto N. Afrati National Technical University of Athens…
- Add To MetaCart
-
Enhancing Fixed Point Logic With Cardinality Quantifiers
- …Enhancing fixed point logic with cardinality quantifiers Lauri Hella Dept. of Mathematics P…
- Add To MetaCart
-
A higher order modal fixed point logic
- …A Higher Order Modal Fixed Point Logic Mahesh Viswanathan 1 and Ramesh Viswanathan 2 1 University…
- Cited by 5 (0 self) – Add To MetaCart
-
Partial Fixed-Point Logic on Infinite Structures
- …Partial Fixed-Point Logic on Innite Structures Stephan Kreutzer LuFG Mathematische Grundlagen der…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
