mechanized reasoning Latest Research Papers

An introduction to mechanized reasoning

Journal of Mathematical Economics ◽

10.1016/j.jmateco.2016.06.005 ◽

2016 ◽

Vol 66 ◽

pp. 26-39 ◽

Cited By ~ 4

Author(s):

Manfred Kerber ◽

Christoph Lange ◽

Colin Rowat

Keyword(s):

Mechanized Reasoning

Download Full-text

A case-study in algebraic manipulation using mechanized reasoning tools

International Journal of Computer Mathematics ◽

10.1080/00207160802676604 ◽

2010 ◽

Vol 87 (9) ◽

pp. 1936-1949 ◽

Cited By ~ 1

Author(s):

J. Aransay ◽

C. Domínguez

Keyword(s):

Algebraic Manipulation ◽

Mechanized Reasoning

Download Full-text

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-02614-0_3 ◽

2009 ◽

pp. 14-26 ◽

Cited By ~ 2

Author(s):

Jacques Calmet

Keyword(s):

Information Technology ◽

Mechanized Reasoning

Download Full-text

Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning

Neural Information Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10684-2_60 ◽

2009 ◽

pp. 540-547 ◽

Cited By ~ 3

Author(s):

Ruo Ando

Keyword(s):

Log Analysis ◽

Mechanized Reasoning

Download Full-text

Mechanized reasoning in Homological Algebra

AI Communications ◽

10.3233/aic-2008-0427 ◽

2008 ◽

Vol 21 (4) ◽

pp. 265-267

Author(s):

Jesús Aransay

Keyword(s):

Homological Algebra ◽

Mechanized Reasoning

Download Full-text

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05

10.1145/1088454 ◽

2005 ◽

Cited By ~ 1

Keyword(s):

Variable Binding ◽

Mechanized Reasoning

Download Full-text

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03

10.1145/976571 ◽

2003 ◽

Keyword(s):

Variable Binding ◽

Mechanized Reasoning

Download Full-text

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Journal of Symbolic Computation ◽

10.1006/jsco.2000.0464 ◽

2001 ◽

Vol 32 (4) ◽

pp. 305-332

Author(s):

Alessandro Armando ◽

Alessandro Coglio ◽

Fausto Giunchiglia ◽

Silvio Ranise

Keyword(s):

Reasoning Systems ◽

Mechanized Reasoning ◽

Control Layer

Download Full-text

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

Journal of Symbolic Computation ◽

10.1006/jsco.2001.0458 ◽

2001 ◽

Vol 32 (1-2) ◽

pp. 1-2

Author(s):

Tomás Recio ◽

Manfred Kerber

Keyword(s):

Computer Algebra ◽

Mechanized Reasoning

Download Full-text

The Control Component of Open Mechanized Reasoning Systems1 1We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80606-1 ◽

1999 ◽

Vol 23 (3) ◽

pp. 322-339

Author(s):

Alessandro Armando ◽

Alessandro Coglio ◽

Fausto Giunchiglia

Keyword(s):

Technical Development ◽

Mechanized Reasoning

Download Full-text

mechanized reasoning
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

An introduction to mechanized reasoning

A case-study in algebraic manipulation using mechanized reasoning tools

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning

Mechanized reasoning in Homological Algebra

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

The Control Component of Open Mechanized Reasoning Systems1 1We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

Export Citation Format

mechanized reasoningRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

An introduction to mechanized reasoning

A case-study in algebraic manipulation using mechanized reasoning tools

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning

Mechanized reasoning in Homological Algebra

Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

The Control Component of Open Mechanized Reasoning Systems1 1We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.

mechanized reasoning
Recently Published Documents