| 1 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools
|
|
|
|
In: Mathematics ; Volume 9 ; Issue 20 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
System description: The Tableau workbench
|
|
|
|
In: Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) ; http://dx.doi.org/10.1016/j.entcs.2009.02.025 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Journal of Applied Logic 5 (2007) 70–91 Defining answer classes using resolution refutation
|
|
|
|
In: http://www.cse.buffalo.edu/~shapiro/Papers/bursha07.pdf (2006)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Graph Algorithms for Improving Type-Logical Proof Search
|
|
|
|
In: Categorial grammars - an efficient tool for natural language processing ; https://hal.archives-ouvertes.fr/hal-00012408 ; Categorial grammars - an efficient tool for natural language processing, Jun 2004, Montpellier, France. pp.13-28 (2004)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Applying Rewriting Techniques to the Verification of Erlang Processes
|
|
|
|
In: http://www.ericsson.se/cslab/~thomas/csl99.ps (1999)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Free-variable Tableaux for Propositional Modal Logics
|
|
|
|
In: ftp://arp.anu.edu.au/pub/papers/gore/Free-Variable-Tableaux/free-variable-tableau.ps.gz (1997)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
System of Automated Deduction (SAD): Linguistic and Deductive Peculiarities
|
|
|
|
In: http://www.dcs.kcl.ac.uk/staff/anatoli/papers/sad-iis.ps
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Free-variable tableaux for propositional modal logics
|
|
|
|
In: http://www.uni-koblenz.de/~beckert/pub/studlog01.pdf
|
|
BASE
|
|
Show details
|
|
|
| 15 |
A Call for Executable Linguistics Research *
|
|
|
|
In: http://www.adampease.org/professional/PACLIC22_Pease.pdf
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Applying Rewriting Techniques to the Verification of Erlang Processes
|
|
|
|
In: http://www.erlang.se/publications/arts99.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
