Proof Systems for Infinite Behaviours

Philippe Darondeau Serge Yoccoz

Published in: Inf. Comput. (1992)

Keyphrases

management system
social networks
database
machine learning
information retrieval
image segmentation
expert systems
evolutionary algorithm
distributed systems
building blocks
theorem prover