^{LoRea Group} 

Computer Sciences Faculty, UPV/EHU 

Department of Computer Language and Systems 

■    ■   ■    ■    ■    ■   ■

CS Prototype: An equality constraint solver

BCN Prototype: An implementation of Constructive Negation

A Tableau-based Theorem prover for Temporal Logic PLTL

A Resolution-based Theorem prover for Temporal Logic PLTL

Angluin's algorithm for learning DFA using JFLAP