Detecting stable properties of networks in concurrent logic programming languages

1988 ◽  
Author(s):  
Vijay A. Saraswat ◽  
Kenneth Kahn ◽  
David Weinbaum
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Concurrent Logic Programming ◽  
Logic Programming Languages

Objects in concurrent logic programming languages

1986 ◽  
Vol 21 (11) ◽  
pp. 242-257 ◽  
Author(s):  
Kenneth Kahn ◽  
Eric Dean Tribble ◽  
Mark S. Miller ◽  
Daniel G. Bobrow
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Concurrent Logic Programming ◽  
Logic Programming Languages

Objects in concurrent logic programming languages

1986 ◽  
Vol 21 (10) ◽  
pp. 29-38 ◽  
Author(s):  
Kenneth Kahn ◽  
Eric Dean Tribble ◽  
Mark S. Miller ◽  
Daniel G. Bobrow
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Concurrent Logic Programming ◽  
Logic Programming Languages
Sign in / Sign up

Export Citation Format

Share Document