Subalgebras and homomorphisms of semi-Post algebras.

Nguyen Cat Ho Helena Rasiowa

Published in: Stud Logica (1987)

Keyphrases

maximal tractable
graph theory
finite state automata
spatial reasoning
distributive lattices
information systems
temporal reasoning
database
search engine
social networks
case study
expert systems
relational databases
default theories
clifford algebra