Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dmitriy Traytel
Foundational Extensible Corecursion: A Proof Assistant Perspective
ACM SIGPLAN Notices
Computer Science
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Extensible Proof-Producing Compilation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foundational Proof Checkers With Small Witnesses
Sustainability and Organizational Behavior: A Micro-Foundational Perspective
Journal of Organizational Behavior
Sociology
Psychology
Organizational Behavior
Human Resource Management
Applied Psychology
Political Science
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Structural Analysis of Narratives With the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant
Users’ Perspective of Extensible Business Reporting Language (XBRL) in India
MUDRA : Journal of Finance and Accounting
A Program Testing Assistant
Communications of the ACM
Computer Science
