Sciweavers

186 search results - page 38 / 38
» Tractability of Theory Patching
Sort
View
DIMACS
1996
14 years 5 days ago
Easier Ways to Win Logical Games
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
Ronald Fagin