scientific article; zbMATH DE number 845113

MaRDI QIDQ4865500zbMATH OpenFDO

Authors A. A. Nabebin

Publication date 14 February 1996

zbMATH Keywords

Boolean algebrafinite automatapredicate logicProlog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Formal languages and automata (68Q45) Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) Parallel algorithms in computer science (68W10)

Cited in

(1)

• scientific article; zbMATH DE number 107624 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4865500)