scientific article; zbMATH DE number 1497881

zbMath0959.03506MaRDI QIDQ4499312

Grigore Roşu, Samuel R. Buss

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

Related Items

Closure properties for the class of behavioral models, Behavioral Rewrite Systems and Behavioral Productivity, Behavioral abstraction is hiding information, Towards Behavioral Maude, A hidden Herbrand theorem: Combining the object and logic paradigms

Uses Software

• CafeOBJ