Author of the publication

The First-Order Logical Environment.

. ICCS, volume 7735 of Lecture Notes in Computer Science, page 210-230. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Conceptua: Institutions in a Topos.. CoRR, (2018)Conceptual Collectives.. CoRR, (2018)Conceptual Knowledge Markup Language: The central core. (2011)cite arxiv:1109.1525Comment: Presented at the Twelfth Workshop on Knowledge Acquisition, Modeling and Management (KAW'99), 1999.The FOLE Table.. CoRR, (2018)Soft Concept Analysis.. CoRR, (2018)Distributed Conceptual Structures.. CoRR, (2018)Semantic Integration in the Information Flow Framework.. Semantic Interoperability and Integration, volume 04391 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)The Information Flow Framework: New architecture. (2011)cite arxiv:1109.0983Comment: Presented at the International Category Theory Conference (CT 2006) June 25 - July 1, 2006 at White Point, Nova Scotia.System Consequence.. ICCS, volume 5662 of Lecture Notes in Computer Science, page 201-218. Springer, (2009)Formal Concept Analysis with Many-Sorted Attributes., and . ICCI, page 349-353. IEEE Computer Society, (1993)