scientific article; zbMATH DE number 1555185

zbMath0953.03524MaRDI QIDQ4525285

Dexter Kozen

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05)

Related Items (10)

Some new decidability results on positive and negative set constraints ⋮ Complexity of algebraic implementations for abstract data types ⋮ Rational spaces and set constraints ⋮ Set constraints with intersection ⋮ Rational spaces and set constraints ⋮ Set constraints and logic programming ⋮ Set constraints in some equational theories ⋮ An undecidable fragment of the theory of set constraints ⋮ Set constraints and automata ⋮ Tarskian set constraints

This page was built for publication: