dblp.uni-trier.dewww.uni-trier.de

Juan Heguiabehere

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
4EECarlos Areces, Juan Heguiabehere: HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160
2001
3EEJan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Tableau Reasoning and Programming with Dynamic First Order Logic. Logic Journal of the IGPL 9(3): (2001)
2000
2 Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke: Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203
1 Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71

Coauthor Index

1Carlos Areces [2] [4]
2Jan van Eijck [1] [3]
3Rosella Gennari [2]
4Breanndán Ó Nualláin [1] [3]
5Maarten de Rijke [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)