H ? « ‹ ← → › »

Language peer sets for Sequel:
United Kingdom↑
United Kingdom/0↑

Sequel(ID:2492/seq003)

Theorem prover specification language 

alternate simple view
Country: United Kingdom

U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp. Proc ICJAI 13.

Structures:
Resources
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder