Author of the publication

Effectively Given Information Systems and Domains.

, and . CSL, volume 440 of Lecture Notes in Computer Science, page 116-142. Springer, (1989)

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

Non-Deterministic Information Systems and their Domains., and . Theor. Comput. Sci., 75 (3): 289-309 (1990)Effectively Given Information Systems and Domains., and . CSL, volume 440 of Lecture Notes in Computer Science, page 116-142. Springer, (1989)TRSPEC: A Term Rewriting Based System for Algebraic Specifications., , , and . CADE, volume 230 of Lecture Notes in Computer Science, page 665-667. Springer, (1986)Universal Domains and the Amalgamation Property., and . Math. Struct. Comput. Sci., 3 (2): 137-159 (1993)Endomorphism rings of bimodules., and . Period. Math. Hung., 69 (1): 12-20 (2014)All Groups are Outer Automorphism Groups of Simple Groups, , and . Journal of the London Mathematical Society, 64 (3): 565-575 (2001)Universal Information Systems., and . Int. J. Found. Comput. Sci., 1 (4): 413-424 (1990)A generalization of Whitehead's problem and its independence., , and . Ann. Pure Appl. Log., 148 (1-3): 20-30 (2007)Universal Domains in the Theory of Denotational Semantics of Programming Languages, and . LICS, page 19-34. IEEE Computer Society, (1990)How to Define 3D Geoprocessing Operations for the OGC Web Processing Service (WPS)? Towards a Classification of 3D Operations., and . ICCSA (1), volume 5072 of Lecture Notes in Computer Science, page 708-723. Springer, (2008)