Isotypeness of Models and Knowledge Bases Equivalence
Aladova, Elena, Plotkin, Eugene, Plotkin, TatjanaVolume:
7
Language:
english
Journal:
Mathematics in Computer Science
DOI:
10.1007/s11786-013-0166-5
Date:
December, 2013
File:
PDF, 361 KB
english, 2013