Journal of the ACM (JACM)
Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying infinite state processes with sequential and parallel composition
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Annals of Mathematics and Artificial Intelligence
What Turing Did after He Invented the Universal Turing Machine
Journal of Logic, Language and Information
Minds and Machines
Minds and Machines
Minds and Machines
Alan Turing and the Mathematical Objection
Minds and Machines
Minds and Machines
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
On Communication and Computation
Minds and Machines
A logic-based approach to data integration
Theory and Practice of Logic Programming
Super-tasks, accelerating Turing machines and uncomputability
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
The modal argument for hypercomputing minds
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
PrediCalc: a logical spreadsheet management system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
The busy beaver, the placid platypus and other crazy creatures
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Zeno machines and hypercomputation
Theoretical Computer Science
Conservation principles and action schemes in the synthesis of geometric concepts
Artificial Intelligence
On the computability of agent-based workflows
Decision Support Systems
Analysis of busy beaver machines via induction proofs
CATS '07 Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65
Consistency, Turing Computability and Gödel's First Incompleteness Theorem
Minds and Machines
A labor theoretic approach to information retrieval
Journal of the American Society for Information Science and Technology
Automated deduction for verification
ACM Computing Surveys (CSUR)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Indistinguishable from Magic: Computation is Cognitive Technology
Minds and Machines
Negation and proof by contradiction in access-limited logic
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
Unconventional models of computation through non-standard logic circuits
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Implementing Business Processes: A Database Trigger Approach
International Journal of Knowledge-Based Organizations
| Hi-index | 0.00 |