CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Simplification Rules for Constrained Formula Tableaux

Martin Giese (Institutionen för datavetenskap)
Lecture Notes in Computer Science. Proceedings - International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003), Rome, 9-12 September 2003 (0302-9743). Vol. 2796 (2003), p. 65-80.
[Konferensbidrag, refereegranskat]

Several vaxiants of a first-order simplification rule for non-normal form tableaux using syntactic constraints axe presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

Denna post skapades 2013-03-13.
CPL Pubid: 174655


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för datavetenskap (2002-2004)


Datavetenskap (datalogi)

Chalmers infrastruktur