Search alternatives:
"enclosures" » "inclosures", "eninclosures", "encloses"
"closures" » "inclosures", "closes"

1
Published 2020
Springer International Publishing
Table of Contents: ...Computability of Algebraic and Definable Closure -- Observable Models -- Countermodel Construction...

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... and nonmonotonicity in logic programming -- The Ehrenfeucht-Fraïssé games for transitive closure -- Feasibility...

3
by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001
Birkhäuser
Table of Contents: ... -- 2 Finite Automata -- 2.1 Two Examples -- 2.2 Finite Automata -- 2.3 Closure Properties -- 2.4...