Backtracking Games and Inflationary Fixed Points
Main Authors: | Dawar, A, Grädel, E, Kreutzer, S |
---|---|
פורמט: | Journal article |
יצא לאור: |
2006
|
פריטים דומים
Directed distributed system: Backtracking problem
מאת: I. B. Burdonov, et al.
יצא לאור: (2018-10-01)
מאת: I. B. Burdonov, et al.
יצא לאור: (2018-10-01)
פריטים דומים
-
Backtracking games and inflationary fixed points
מאת: Dawar, A, et al.
יצא לאור: (2004) -
Inflationary Fixed Points in Modal Logics
מאת: Dawar, A, et al.
יצא לאור: (2001) -
Inflationary Fixed Points in Modal Logics
מאת: Dawar, A, et al.
יצא לאור: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
מאת: Kreutzer, S
יצא לאור: (2004) -
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
מאת: Kreutzer, S
יצא לאור: (2002)