Search alternatives:
"bounded theory" » "grounded theory", "blended theory", "bounds theory"

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...: On the logical complexity of the largest bisimulation -- On bounded theories -- The cutting plane proof system...

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- Intensionality versus extensionality and Primitive Recursion -- On the bounded theories of finite trees --...