Glushkov's evidence algorithm
From MaRDI portal
Publication:466397
DOI10.1007/S10559-013-9534-ZzbMATH Open1371.68003OpenAlexW1965825144MaRDI QIDQ466397FDOQ466397
Authors: A. A. Letichevskij, Alexander Lyaletski, Marina K. Morokhovets
Publication date: 27 October 2014
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-013-9534-z
Recommendations
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Evidence algorithm and SAD systems: past and possible future
- Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
- Evidential paradigm: the logical aspect
- Alphabet operators and algorithms
automated theorem provingevidence algorithminference searchautomated proving systemForTheL languageTL language
Cites Work
- System for Automated Deduction (SAD): A Tool for Proof Verification
- SAD as a mathematical assistant -- how should we go from here to there?
- THE ABSTRACT THEORY OF AUTOMATA
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some problems in the theories of automata and artificial intelligence
- Handbook of automated reasoning. In 2 vols
- Toward Mechanical Mathematics
- Computations in APS
- Title not available (Why is that?)
- Algebra of behavior transformations and its applications
- Strategies of the search for derivation of statements with restricted quantifiers
- Title not available (Why is that?)
- Deduction-seeking procedures and transitive relations
- Proof theory in the USSR 1925–1969
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: Glushkov's evidence algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466397)