Directed recursive labelnode hypergraphs: A new representation-language

DOI10.1016/0004-3702(77)90014-5zbMath0357.68100OpenAlexW1996650547MaRDI QIDQ1239014

Harold Boley

Publication date: 1977

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(77)90014-5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10) Classical first-order logic (03B10) Directed graphs (digraphs), tournaments (05C20)

Related Items

Dynamic maintenance of the transitive closure in disjunctive graphs, Linear time analysis of properties of conflict-free and general Petri nets, Generating functions of some families of directed uniform hypergraphs, Dynamic maintenance of directed hypergraphs, Directed hypergraphs: introduction and fundamental algorithms -- a survey, Declarative operations on nets, Partially dynamic maintenance of minimum weight hyperpaths, Directed hypergraphs and applications

Cites Work

• A relational model of data for large shared data banks
• A language extension for graph processing and its formal semantics
• Efficient Utilization of Non-Numerical Information in Quantitative Analysis General Theory and the Case of Simple Order
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item