scientific article; zbMATH DE number 194376
From MaRDI portal
Publication:4692331
zbMath0569.68004MaRDI QIDQ4692331
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mechanization of proofs and logical operations (03B35)
Related Items (6)
Dataflow computing and Eager and Lazy evaluations ⋮ On ``On graph rewritings ⋮ LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY ⋮ Minimalism, justification and non-monotonicity in deductive databases ⋮ General logical databases and programs: Default logic semantics and stratification ⋮ Finite-tree analysis for constraint logic-based languages
This page was built for publication:
