Thomas Vasak

According to our database¹, Thomas Vasak authored at least 4 papers between 1985 and 1986.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1986

Universal closure operator for prolog.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1986

A Survey of Control Facilities in Logic Programming.

[BibT_eX]

Aust. Comput. J., 1986

Characterisation of Terminating Logic Programs.

[BibT_eX]

Proceedings of the 1986 Symposium on Logic Programming, 1986

1985

Metalogical Control for Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1985