"Branching-Time Logic Programming: The Language Cactus and its ..."

Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos (1998)

Details and statistics

DOI: 10.1016/S0096-0551(98)00009-5

access: closed

type: Journal Article

metadata version: 2017-05-18