scientific article; zbMATH DE number 1552530

From MaRDI portal

Publication:4524790

Jump to:navigation, search

zbMath0970.68095MaRDI QIDQ4524790

Christoph Weidenbach

Publication date: 15 January 2001

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

zbMATH Keywords

monadic Horn problems

Mathematics Subject Classification ID

Searching and sorting (68P10) Formal languages and automata (68Q45)

Related Items (1)

Context Dependent Procedures and Computed Types in ✓eriFun

This page was built for publication:

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