Graph Algorithms for Improving Type-Logical Proof Search
Idioma
en
Communication dans un congrès
Este ítem está publicado en
Categorial grammars - an efficient tool for natural language processing, 2004-06, Montpellier. 2004p. 13-28
Resumen en inglés
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little attention to the use of graph theoretic ...Leer más >
Palabras clave en inglés
Automated Deduction
Floyd-Warshall Algorithm
Lambek Calculus
Proof Net
Ranked Assignments