scientific article; zbMATH DE number 3303661
From MaRDI portal
Publication:5585029
zbMath0191.18102MaRDI QIDQ5585029
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item, Flow analysis of lazy higher-order functional programs, Some new decidability results on positive and negative set constraints, Semantical analysis of specification logic, Continuations in possible-world semantics, Rational spaces and set constraints, Equational approximations for tree automata completion, Ambiguity and precedence in syntax description, Set constraints with intersection, Rational spaces and set constraints, Set constraints and logic programming, Set constraints in some equational theories, Set constraints in some equational theories, Set constraints and automata, Interconvertibility of a class of set constraints and context-free-language reachability
