Home My Page Projects Slimmer
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Forum: Tac at IJCAR 2010 & new release

Posted by: David Baelde
Date: 2010-04-18 19:21
Summary: Tac at IJCAR 2010 & new release
Project: Slimmer

Content:

A paper on "Focused Inductive Theorem Proving", describing the use of focusing in the design of Tac, has been accepted at IJCAR'10. Also, with that paper came new examples and a new release of tac.
Latest News

Bedwyr 1.2

David Baelde - 2010-04-18 19:23 -

Tac at IJCAR 2010 & new release

David Baelde - 2010-04-18 19:21 -

Bedwyr Version 1.1 released

Dale Miller - 2007-02-19 10:34 -

New Example: mute.def

Dale Miller - 2007-02-02 07:43 -

Bedwyr 1.0 release

Dale Miller - 2006-11-01 19:38 -
Monitor Forum | Start New Thread Start New Thread