A Logic on Subobjects and Recognizability

DOI10.1007/978-3-642-15240-5_15zbMath1198.68161OpenAlexW1568378341MaRDI QIDQ3163884

H. J. Sander Bruggink, Barbara König

Publication date: 27 October 2010

Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15240-5_15

zbMATH Keywords

hereditary pushout categories

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Related Items

Syntactic recognizability of graphs with fuzzy attributes