scientific article; zbMATH DE number 517007

From MaRDI portal

Revision as of 18:24, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4282530

Jump to:navigation, search

zbMath0793.68141MaRDI QIDQ4282530

Rolf Socher-Ambrosius

Publication date: 17 April 1994

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

zbMATH Keywords

undecidability decidability order sorted logic sort intersection problem term declarations unification in linear signatures

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Pumping, cleaning and symbolic constraints solving

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4282530&oldid=18205690"