scientific article

From MaRDI portal

Revision as of 16:33, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3838768

Jump to:navigation, search

zbMath0903.03006MaRDI QIDQ3838768

No author found.

Publication date: 8 October 1998

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

zbMATH Keywords

complexity first-order theory decidability tree automata feature logic entailment problem ordering constraints over feature trees second-order monadic logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Natural language processing (68T50)

Related Items (1)

Ordering constraints over feature trees expressed in second-order monadic logic.

This page was built for publication:

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