Author of the publication

Combining and representing logical systems using model-theoretic parchments.

, , and . WADT, volume 1376 of Lecture Notes in Computer Science, page 349-364. Springer, (1997)

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

Cataloging Design Patterns for Internet of Things Artifact Integration., , , , , , and . ICC Workshops, page 1-6. IEEE, (2018)Modular System Development with Pullbacks., , , , and . ICATPN, volume 2679 of Lecture Notes in Computer Science, page 140-160. Springer, (2003)A Class of Hypernets with Token Creation and Decidable Reachability Problem., , and . CS&P, volume 928 of CEUR Workshop Proceedings, page 37-48. CEUR-WS.org, (2012)From implicit semantics towards ontologies - practical considerations from the INTER-IoT perspective., , , , , and . CCNC, page 59-64. IEEE, (2017)Semantic Technologies for the IoT - An Inter-IoT Perspective., , , , and . IoTDI, page 271-276. IEEE Computer Society, (2016)Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring Systems., , , , , , and . FQAS, volume 7 of Advances in Soft Computing, page 560-569. Physica-Verlag Heidelberg New York, A Springer-Verlag Company, (2000)Presenting and Combining Inference Systems: Presentations with Inference Rules.. WADT, volume 2755 of Lecture Notes in Computer Science, page 409-424. Springer, (2002)Dimensions of Semantic Similarity., , , and . Advances in Data Analysis with Computational Intelligence Methods, volume 738 of Studies in Computational Intelligence, page 87-125. Springer, (2018)Towards the Semantics of the Definitional Language of MetaSoft., , and . VDM Europe, volume 428 of Lecture Notes in Computer Science, page 471-503. Springer, (1990)Context parchments.. WADT, volume 1376 of Lecture Notes in Computer Science, page 381-401. Springer, (1997)