A Logic-Independent IDE

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
A scalable module system Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 14 2013
The Mizar Mathematical Library in OMDoc: Translation and Applications Journal of Automated Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 12 2013
A framework for defining logics

 Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 246 1993
System Description: Twelf - A Meta-Logical Framework for Deductive Systems 1999
A Machine-Checked Proof of the Odd Order Theorem 2013
Citations
Title Journal Journal Categories Citations Publication Date
An Integrated Development Environment for the Prototype Verification System Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2019
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled An Integrated Development Environment for the Prototype Verification System and was published in 2019. The most recent citation comes from a 2019 study titled An Integrated Development Environment for the Prototype Verification System. This article reached its peak citation in 2019, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year