Author of the publication

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

How does algebra help to solve problems from the theory of algorithms (an example).. Algorithms in Modern Mathematics and Computer Science, volume 122 of Lecture Notes in Computer Science, page 462-463. Springer, (1979)Preface., , , and . Ann. Pure Appl. Log., 159 (3): 249-250 (2009)RRC-Fields with Small Absolute Galois Groups.. Ann. Pure Appl. Log., 43 (3): 197-208 (1989)The Bounded-Complete Hull of an Alpha-Space.. Theor. Comput. Sci., 175 (1): 3-13 (1997)Sigma predicates of finite types.. Workshop on Domains, volume 35 of Electronic Notes in Theoretical Computer Science, page 85. Elsevier, (1998)On d-Spaces.. Theor. Comput. Sci., 224 (1-2): 59-72 (1999)Semantic Foundations of Programming., , and . FCT, volume 278 of Lecture Notes in Computer Science, page 116-122. Springer, (1987)Mathtree - Tree Catalog of Mathematical Resources in the Internet., , , and . Automation, Control, and Information Technology, page 76-80. IASTED/ACTA Press, (2005)Semantic Programming., , and . IFIP Congress, page 1113-1120. North-Holland/IFIP, (1986)On the classification of (effective) φ-spaces.. Ann. Pure Appl. Log., 159 (3): 285-291 (2009)