Conference Name
Conference Acronym
Similarity (last 3 years)
Avg Papers (last 3 years)
View Similar Topics

Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Decision Theory
  • Distributed Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Theorem Provers
  • Reasoning
  • Ontology
  • Satisfiability
  • Decision Procedure
  • Modal Logic
  • Decision Theory
  • Computational Linguistics
  • Isabelle/Hol
  • Finite Automata
  • Programmable Logic Controllers
  • Proof System
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Distributed Computer Systems
  • Translation (Languages)
  • Temporal Logic
  • Network Security
  • Higher Order Logic
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming Languages
  • Theoretical Computer Science
  • Computer Programming
  • Formal Languages And Automata Theory
  • Embedded Systems
  • Knowledge Based Systems
  • Graph Theory
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming Languages
  • Theoretical Computer Science
  • Computer Programming
  • Automata Theory
  • Formal Languages And Automata Theory
  • Computer Metatheory
  • Mathematics
  • Lambda Calculus
  • Software Architecture
  • Embedded Systems
  • Linguistics
  • Knowledge Based Systems
  • Architecture Verification And Validation
  • Model Checking
  • Architecting
  • Graph Theory
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Functional Programming
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Software Design
  • Computer Programming Languages
  • Theoretical Computer Science
  • Knowledge Based Systems
  • Embedded Systems
  • Computer Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Architecture
  • Software Engineering
  • Software Design
  • Automata Theory
  • Semantics
  • Computer Programming Languages
  • Architecting
  • Architecture Verification And Validation
  • Model Checking
  • Theoretical Computer Science
  • Knowledge Based Systems
  • Ontology
  • Computer Metatheory
  • Embedded Systems
  • Computability And Decidability
  • Lambda Calculus
  • Computer Programming
  • Formal Languages
  • Satisfiability
  • Parallel Processing Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Computer Programming
  • Embedded Systems
  • Software Engineering
  • Software Design
  • Computer Programming Languages
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Distributed Computer Systems
  • Field Programmable Gate Array
  • Knowledge Based Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Computer Programming
  • Embedded Systems
  • Software Engineering
  • Software Design
  • Linguistics
  • Software Architecture
  • Computer Programming Languages
  • Theoretical Computer Science
  • Architecting
  • Model Checking
  • Architecture Verification And Validation
  • Formal Languages And Automata Theory
  • Distributed Computer Systems
  • Real Time Systems
  • Distributed Systems
  • Field Programmable Gate Array
  • Formal Methods
  • Digital Signal Processing
  • Knowledge Based Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Theoretical Computer Science
  • Graph Theory
  • Software Engineering
  • Software Design
  • Formal Languages And Automata Theory
  • Knowledge Based Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Modal Logic
  • Embedded Systems
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Software Architecture
  • Theoretical Computer Science
  • Dynamic Logic
  • Automata Theory
  • Graph Theory
  • Software Engineering
  • Software Design
  • Formal Languages And Automata Theory
  • Computability And Decidability
  • Formal Languages
  • Computational Linguistics
  • Software Quality
  • Logic Gates
  • Knowledge Based Systems
  • Finite Automata
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Embedded Systems
  • Computer Programming
  • Theoretical Computer Science
  • Computer Programming Languages
  • Distributed Computer Systems
  • Formal Languages And Automata Theory
  • Artificial Intelligence
  • Software Engineering
  • Software Design
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Linguistics
  • Object Oriented Programming
  • Embedded Systems
  • Computer Programming
  • Theoretical Computer Science
  • Computer Programming Languages
  • Distributed Systems
  • Distributed Computer Systems
  • Formal Languages And Automata Theory
  • Parallel Processing Systems
  • Formal Languages
  • Modal Logic
  • Artificial Intelligence
  • Program Compilers
  • Formal Methods
  • Digital Signal Processing
  • Software Engineering
  • Real Time Systems
  • Verification
  • Software Design
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Theoretical Computer Science
  • Graph Theory
  • Computer Programming Languages
  • Formal Languages And Automata Theory
  • Embedded Systems
  • Computer Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Sequent Calculus
  • Logic Programming
  • Linear Logic
  • Theoretical Computer Science
  • Graph Theory
  • Automata Theory
  • Model Checking
  • Software Architecture
  • Architecture Verification And Validation
  • Architecting
  • Theorem Provers
  • Modal Logic
  • Natural Deduction
  • Computer Programming Languages
  • Formal Languages And Automata Theory
  • Embedded Systems
  • Computer Programming
  • Proof Search
  • Formal Proofs
  • Programmable Logic Controllers
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Object Oriented Programming
  • Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Quality
  • Software Engineering
  • Verification And Validation
  • Software Design
  • Verification
  • Architecture Verification And Validation
  • Architecting
  • Model Checking
  • Software Architecture
  • Distributed Computer Systems
  • Formal Verifications
  • Distributed Systems
  • Modal Logic
  • Parallel Processing Systems
  • Verification Method
  • Formal Methods
  • Object Oriented Programming
  • Computer Systems
  • Semantics
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Embedded Systems
  • Software Design
  • Object Oriented Programming
  • Mobile Robots
  • Robotics
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Formal Methods
  • Embedded Systems
  • Software Design
  • Object Oriented Programming
  • Verification And Validation
  • Software Architecture
  • Verification
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Software Quality
  • Real Time Systems
  • Digital Signal Processing
  • Mobile Robots
  • Modal Logic
  • Robotics
  • Formal Specification
  • Linguistics
  • Computer Hardware Description Languages
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Computer Hardware
  • Microprocessor Chips
  • Object Oriented Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Software Architecture
  • Architecting
  • Model Checking
  • Architecture Verification And Validation
  • Verification And Validation
  • Software Quality
  • Verification
  • Modal Logic
  • Formal Verifications
  • Computer Hardware
  • Formal Methods
  • Microprocessor Chips
  • Semantics
  • Verification Method
  • Object Oriented Programming
  • Digital Signal Processing
  • Computability And Decidability
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming Languages
  • Computer Programming
  • Software Design
  • Embedded Systems
  • Object Oriented Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming Languages
  • Computer Programming
  • Computer Metatheory
  • Lambda Calculus
  • Architecture Verification And Validation
  • Model Checking
  • Software Architecture
  • Architecting
  • Program Compilers
  • Linguistics
  • Modal Logic
  • Software Design
  • Parallel Processing Systems
  • Distributed Systems
  • Embedded Systems
  • Object Oriented Programming
  • Functional Programming
  • Automata Theory
  • First Order Logic
  • Ontology
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Graph Theory
  • Artificial Intelligence
  • Database Systems
  • Embedded Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Automata Theory
  • Translation (Languages)
  • Linguistics
  • Theoretical Computer Science
  • Formal Languages
  • Automata
  • Finite Automata
  • Formal Languages And Automata Theory
  • Semantics
  • Computational Linguistics
  • Modal Logic
  • Graph Theory
  • Petri Nets
  • Probability
  • Stochastic Processes
  • Artificial Intelligence
  • Mathematics
  • Database Systems
  • Embedded Systems
  • Model Checking
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Software Design
  • Software Engineering
  • Knowledge Based Systems
  • Graph Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Theorem Provers
  • Formal Verifications
  • Verification
  • Verification And Validation
  • Software Quality
  • Isabelle/Hol
  • Parallel Processing Systems
  • Distributed Systems
  • Modal Logic
  • Formal Proofs
  • Program Compilers
  • Distributed Computer Systems
  • Software Design
  • Software Engineering
  • Formal Methods
  • Automata Theory
  • Knowledge Based Systems
  • Dynamic Logic
  • Graph Theory
  • Boolean Functions
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Object Oriented Programming
  • Computer Programming
  • Mobile Robots
  • Software
  • Robotics
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Quality
  • Software Engineering
  • Software Design
  • Verification And Validation
  • Verification
  • Object Oriented Programming
  • Software Architecture
  • Computer Programming
  • Formal Methods
  • Architecting
  • Real Time Systems
  • Digital Signal Processing
  • Model Checking
  • Architecture Verification And Validation
  • Modal Logic
  • Mobile Robots
  • Software
  • Robotics
  • Formal Verifications
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Computer Programming Languages
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Architecting
  • Model Checking
  • Architecture Verification And Validation
  • Software Architecture
  • Software Engineering
  • Finite Automata
  • Automata Theory
  • Software Design
  • Semantics
  • Translation (Languages)
  • Modal Logic
  • Automata
  • Theoretical Computer Science
  • Verification Method
  • Formal Languages And Automata Theory
  • Verification And Validation
  • Computer Programming Languages
  • Verification
  • Software Quality
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Graph Theory
  • Knowledge Based Systems
  • Computer Programming Languages
  • Artificial Intelligence
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Theorem Provers
  • Isabelle/Hol
  • Modal Logic
  • Libraries
  • Mathematics
  • Software Architecture
  • Computability And Decidability
  • Automata Theory
  • Architecting
  • Education
  • Architecture Verification And Validation
  • Model Checking
  • Formal Verifications
  • Graph Theory
  • Knowledge Based Systems
  • Formal Proofs
  • Dynamic Logic
  • Computer Programming Languages
  • Artificial Intelligence
  • Formal Methods
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Object Oriented Programming
  • Software Engineering
  • Software Design
  • Software
  • Computer Programming
  • Computer Programming Languages
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Formal Methods
  • Object Oriented Programming
  • Software Engineering
  • Model Checking
  • Architecture Verification And Validation
  • Software Design
  • Architecting
  • Software Architecture
  • Software Quality
  • Verification And Validation
  • Software
  • Computer Programming
  • Verification
  • Modal Logic
  • Formal Verifications
  • Real Time Systems
  • Digital Signal Processing
  • Distributed Systems
  • Computer Programming Languages
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Embedded Systems
  • Software Design
  • Mobile Robots
  • Robotics
  • Object Oriented Programming
  • Field Programmable Gate Array
  • Formal Logic
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Embedded Systems
  • Software Design
  • Software Quality
  • Verification And Validation
  • Software Architecture
  • Verification
  • Architecting
  • Mobile Robots
  • Model Checking
  • Architecture Verification And Validation
  • Modal Logic
  • Robotics
  • Object Oriented Programming
  • Field Programmable Gate Array
  • Formal Methods
  • Real Time Systems
  • Digital Signal Processing
  • Semantics
  • Formal Logic
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Object Oriented Programming
  • Software
  • Software Design
  • Computer Programming
  • Distributed Computer Systems
  • Formal Logic
  • Field Programmable Gate Array
  • Mobile Robots
  • Embedded Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Object Oriented Programming
  • Software
  • Software Design
  • Computer Programming
  • Distributed Computer Systems
  • Formal Logic
  • Modal Logic
  • Field Programmable Gate Array
  • Software Quality
  • Formal Methods
  • Real Time Systems
  • Architecting
  • Logic Programming
  • Digital Signal Processing
  • Mobile Robots
  • Embedded Systems
  • Distributed Systems
  • Petri Nets
  • Software Architecture
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Embedded Systems
  • Distributed Computer Systems
  • Software Design
  • Computer Programming Languages
  • Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Engineering
  • Embedded Systems
  • Distributed Systems
  • Verification And Validation
  • Parallel Processing Systems
  • Verification
  • Distributed Computer Systems
  • Software Quality
  • Architecting
  • Program Compilers
  • Model Checking
  • Architecture Verification And Validation
  • Software Design
  • Semantics
  • Software Architecture
  • Static Analysis
  • Modal Logic
  • Formal Verifications
  • Computer Programming Languages
  • Computer Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Software
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Quality
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Verification And Validation
  • Verification
  • Software Design
  • Software Architecture
  • Distributed Computer Systems
  • Distributed Systems
  • Parallel Processing Systems
  • Semantics
  • Program Compilers
  • Modal Logic
  • Formal Verifications
  • Software
  • Mathematics
  • Verification Method
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Software Design
  • Embedded Systems
  • Software
  • Computer Programming
  • Mobile Robots
  • Robotics
  • Knowledge Based Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Software Design
  • Embedded Systems
  • Software
  • Formal Methods
  • Software Architecture
  • Computer Programming
  • Software Quality
  • Real Time Systems
  • Digital Signal Processing
  • Mobile Robots
  • Architecting
  • Distributed Systems
  • Modal Logic
  • Parallel Processing Systems
  • Robotics
  • Verification And Validation
  • Engineering
  • Knowledge Based Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Knowledge Based Systems
  • Multiagent System
  • Software Design
  • Software Engineering
  • Graph Theory
  • Computer Programming Languages
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Logic Programming
  • Knowledge Based Systems
  • Semantics
  • Multiagent System
  • Software Design
  • Knowledge Representation
  • Software Engineering
  • Ontology
  • Autonomous Agents
  • Argumentation
  • Software Quality
  • Reasoning
  • Verification And Validation
  • Verification
  • Automata Theory
  • Graph Theory
  • Software Architecture
  • Computer Programming Languages
  • Architecture Verification And Validation
  • Model Checking
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Multiagent System
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Graph Theory
  • Software Engineering
  • Software Design
  • Computer Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Modal Logic
  • Multiagent System
  • Dynamic Logic
  • Automata Theory
  • Theoretical Computer Science
  • Epistemic Logic
  • Formal Languages And Automata Theory
  • Verification
  • Graph Theory
  • Software Quality
  • Verification And Validation
  • Software Engineering
  • Software Design
  • Computability And Decidability
  • Satisfiability
  • Formal Languages
  • Intelligent Agents
  • Autonomous Agents
  • Computer Programming
  • Software Agents
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Object Oriented Programming
  • Formal Logic
  • Artificial Intelligence
  • Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Software Architecture
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Distributed Systems
  • Petri Nets
  • Parallel Processing Systems
  • Object Oriented Programming
  • Formal Methods
  • Formal Logic
  • Modal Logic
  • Semantics
  • Artificial Intelligence
  • Logic Programming
  • Boolean Functions
  • Computer Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Database Systems
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • User Interfaces
  • Multimedia Systems
  • Computer Programming Languages
  • World Wide Web
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Linguistics
  • Mathematics
  • Http
  • Client Server Computer Systems
  • Database Systems
  • Servers
  • Theoretical Computer Science
  • Internet Protocols
  • Automata Theory
  • Formal Languages And Automata Theory
  • User Interfaces
  • Translation (Languages)
  • Multimedia Systems
  • Computer Programming Languages
  • Computational Linguistics
  • Formal Languages
  • Automata
  • World Wide Web
  • Finite Automata
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Formal Languages And Automata Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Theorem Provers
  • Isabelle/Hol
  • Formal Verifications
  • Formal Proofs
  • Modal Logic
  • Verification And Validation
  • Semantics
  • Verification
  • Software Quality
  • Automata Theory
  • Higher Order Logic
  • Architecting
  • Architecture Verification And Validation
  • Model Checking
  • Embedded Systems
  • Formal Languages And Automata Theory
  • Libraries
  • Logic Programming
  • Computability And Decidability
  • Boolean Functions
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Embedded Systems
  • Software Design
  • Mobile Robots
  • Robotics
  • Field Programmable Gate Array
  • Formal Logic
  • Computer Programming
  • Software
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Embedded Systems
  • Software Design
  • Software Architecture
  • Mobile Robots
  • Robotics
  • Field Programmable Gate Array
  • Formal Methods
  • Real Time Systems
  • Formal Logic
  • Digital Signal Processing
  • Computer Programming
  • Software Quality
  • Architecting
  • Semantics
  • Modal Logic
  • Model Checking
  • Architecture Verification And Validation
  • Software
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Graph Theory
  • Theoretical Computer Science
  • Computer Programming
  • Computer Programming Languages
  • Formal Logic
  • Formal Languages And Automata Theory
  • Artificial Intelligence
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Petri Nets
  • Reachability Problem
  • Graph Theory
  • Automata Theory
  • Theoretical Computer Science
  • Computer Programming
  • Semantics
  • Computer Programming Languages
  • Computability And Decidability
  • Formal Logic
  • Modal Logic
  • Formal Languages
  • Formal Languages And Automata Theory
  • Finite Automata
  • Automata
  • Logic Programming
  • Linguistics
  • Translation (Languages)
  • Artificial Intelligence
  • Boolean Functions
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Knowledge Based Systems
  • Database Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Relational Database
  • Knowledge Based Systems
  • Mathematics
  • Query Languages
  • Database Systems
  • Matrix Algebra
  • Automata Theory
  • Boolean Algebra
  • Relational Data Models
  • Software Architecture
  • Architecture Verification And Validation
  • Model Checking
  • Boolean Functions
  • Complete Lattices
  • Concept Lattices
  • Formal Concept Analysis (Fca)
  • Fca
  • Mathematical Morphology
  • Computability And Decidability
  • Relational Algebra
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Mobile Robots
  • Robotics
  • Software Design
  • Object Oriented Programming
  • Online Systems
  • Software Engineering
  • Field Programmable Gate Array
  • Formal Languages And Automata Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Real Time Systems
  • Mobile Robots
  • Digital Signal Processing
  • Automata Theory
  • Model Checking
  • Architecture Verification And Validation
  • Timed Automata
  • Architecting
  • Software Architecture
  • Translation (Languages)
  • Robotics
  • Engineering
  • Software Design
  • Object Oriented Programming
  • Online Systems
  • Software Engineering
  • Field Programmable Gate Array
  • Computational Linguistics
  • Formal Languages And Automata Theory
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software
  • Software Engineering
  • Mobile Robots
  • Software Design
  • Robotics
  • Embedded Systems
  • Computer Programming
  • Online Systems
  • Field Programmable Gate Array
  • Computer Hardware
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Formal Methods
  • Software
  • Software Engineering
  • Real Time Systems
  • Mobile Robots
  • Software Quality
  • Digital Signal Processing
  • Software Design
  • Verification And Validation
  • Robotics
  • Embedded Systems
  • Verification
  • Formal Specification
  • Computer Programming
  • Computer Hardware Description Languages
  • Online Systems
  • Architecting
  • Field Programmable Gate Array
  • Computer Hardware
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Design
  • Knowledge Based Systems
  • Software Engineering
  • Computer Programming Languages
  • Embedded Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Knowledge Representation
  • Logic Programming
  • Semantics
  • Software Design
  • Knowledge Based Systems
  • Software Engineering
  • Ontology
  • Software Architecture
  • Reasoning
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Automata Theory
  • Computer Programming Languages
  • Embedded Systems
  • Verification
  • Software Quality
  • Answer Set Programming
  • Logic Programs
  • Verification And Validation
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Mobile Robots
  • Object Oriented Programming
  • Field Programmable Gate Array
  • Robotics
  • Online Systems
  • Software Engineering
  • Computer Hardware
  • Software Design
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Mobile Robots
  • Object Oriented Programming
  • Field Programmable Gate Array
  • Robotics
  • Real Time Systems
  • Digital Signal Processing
  • Software Architecture
  • Architecting
  • Architecture Verification And Validation
  • Model Checking
  • Online Systems
  • Software Engineering
  • Formal Methods
  • Computer Hardware
  • Software Design
  • Verification And Validation
  • Software Quality
  • Verification
  • Formal Specification
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Field Programmable Gate Array
  • Object Oriented Programming
  • Computer Hardware
  • Mobile Robots
  • Robotics
  • Software Engineering
  • Online Systems
  • Software Design
  • Computer Programming
  • Formal Logic
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Field Programmable Gate Array
  • Object Oriented Programming
  • Real Time Systems
  • Digital Signal Processing
  • Software Architecture
  • Computer Hardware
  • Mobile Robots
  • Robotics
  • Software Engineering
  • Online Systems
  • Software Design
  • Architecting
  • Computer Programming
  • Formal Logic
  • Computer Hardware Description Languages
  • Modal Logic
  • Formal Methods
  • Software Quality
  • Model Checking
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Graph Theory
  • Theoretical Computer Science
  • Software Design
  • Software Engineering
  • Embedded Systems
  • Formal Languages And Automata Theory
  • Computer Programming
  • Artificial Intelligence
  • Computer Programming Languages
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Turing Machines
  • Graph Theory
  • Theoretical Computer Science
  • Software Design
  • Software Engineering
  • Software Architecture
  • Semantics
  • Automata Theory
  • Architecture Verification And Validation
  • Model Checking
  • Embedded Systems
  • Architecting
  • Mathematics
  • Computability
  • Formal Languages And Automata Theory
  • Modal Logic
  • Computer Programming
  • Artificial Intelligence
  • Polynomial Approximation
  • Computer Programming Languages
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Embedded Systems
  • Formal Logic
  • Mobile Robots
  • Software
  • Robotics
  • Theoretical Computer Science
  • Computer Hardware
  • Formal Languages And Automata Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Software Design
  • Distributed Computer Systems
  • Embedded Systems
  • Formal Logic
  • Distributed Systems
  • Parallel Processing Systems
  • Formal Methods
  • Software Architecture
  • Modal Logic
  • Mobile Robots
  • Software
  • Robotics
  • Automata Theory
  • Theoretical Computer Science
  • Program Compilers
  • Computer Hardware
  • Software Quality
  • Formal Languages And Automata Theory
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Software Design
  • Mobile Robots
  • Robotics
  • Embedded Systems
  • Formal Logic
  • Online Systems
  • Field Programmable Gate Array
  • Computer Programming
  • Software
  • Distributed Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software Engineering
  • Software Architecture
  • Software Design
  • Mobile Robots
  • Real Time Systems
  • Digital Signal Processing
  • Formal Methods
  • Robotics
  • Embedded Systems
  • Semantics
  • Formal Logic
  • Online Systems
  • Field Programmable Gate Array
  • Automata Theory
  • Computer Programming
  • Modal Logic
  • Software
  • Distributed Computer Systems
  • Computer Hardware Description Languages
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Constraint Programming
  • Computer Programming
  • Decision Theory
  • Constraint Satisfaction Problems (Csp)
  • Artificial Intelligence
  • Formal Languages And Automata Theory
  • Genetic Algorithms
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Mathematics
  • Constraint Programming
  • Boolean Functions
  • Optimization
  • Computer Programming
  • Satisfiability
  • Sat
  • Decision Theory
  • Semantics
  • Matrix Algebra
  • Combinatorial Optimization
  • Sat Solvers
  • Constraint Satisfaction Problems (Csp)
  • Modal Logic
  • Artificial Intelligence
  • Formal Languages And Automata Theory
  • Genetic Algorithms
  • Formal Languages
  • Combinatorial Problems
  • Programming Languages
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming
  • Computer Programming Languages
  • Distributed Computer Systems
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Graph Theory
  • Object Oriented Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Systems
  • Parallel Processing Systems
  • Computer Programming
  • Computer Programming Languages
  • Distributed Computer Systems
  • Program Compilers
  • Logic Programming
  • Theoretical Computer Science
  • Automata Theory
  • Formal Languages And Automata Theory
  • Graph Theory
  • Formal Languages
  • Object Oriented Programming
  • Software Architecture
  • Static Analysis
  • Computability And Decidability
  • Architecting
  • Architecture Verification And Validation
  • Model Checking
  • Modal Logic
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Object Oriented Programming
  • Distributed Computer Systems
  • Software Engineering
  • Robotics
  • Software Design
  • Mobile Robots
  • Computer Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Run-Time Verification
  • Embedded Systems
  • Software Quality
  • Object Oriented Programming
  • Verification
  • Verification And Validation
  • Distributed Systems
  • Distributed Computer Systems
  • Software Engineering
  • Robotics
  • Program Compilers
  • Parallel Processing Systems
  • Software Architecture
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Software Design
  • Mobile Robots
  • Computer Programming
  • Real Time Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software
  • Formal Logic
  • Software Engineering
  • Software Design
  • Computer Programming
  • Artificial Intelligence
  • Embedded Systems
  • Distributed Computer Systems
  • Theoretical Computer Science
  • Computer Programming Languages
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Software
  • Formal Logic
  • Software Engineering
  • Software Design
  • Computer Programming
  • Artificial Intelligence
  • Software Architecture
  • Embedded Systems
  • Program Compilers
  • Software Quality
  • Parallel Processing Systems
  • Distributed Systems
  • Architecting
  • Distributed Computer Systems
  • Modal Logic
  • Semantics
  • Theoretical Computer Science
  • Automata Theory
  • Computer Programming Languages
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Artificial Intelligence
  • Software Design
  • Theoretical Computer Science
  • Software Engineering
  • Computer Programming Languages
  • Computer Programming
  • Graph Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Artificial Intelligence
  • Software Design
  • Theoretical Computer Science
  • Software Engineering
  • Semantics
  • Software Architecture
  • Computer Programming Languages
  • Modal Logic
  • Computer Programming
  • Graph Theory
  • Finite Automata
  • Translation (Languages)
  • Architecture Verification And Validation
  • Model Checking
  • Architecting
  • Logic Programming
  • Automata
  • Push-Down Automata
  • Finite State Automata
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Artificial Intelligence
  • Software Engineering
  • Multiagent System
  • Software Design
  • Embedded Systems
  • Formal Logic
  • Knowledge Based Systems
  • Natural Language Processing
  • Formal Languages And Automata Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Artificial Intelligence
  • Semantics
  • Software Engineering
  • Multiagent System
  • Software Design
  • Automata Theory
  • Autonomous Agents
  • Embedded Systems
  • Architecture Verification And Validation
  • Model Checking
  • Natural Languages
  • Formal Logic
  • Knowledge Based Systems
  • Architecting
  • Linguistics
  • Knowledge Representation
  • Logic Programming
  • Natural Language Processing
  • Formal Languages And Automata Theory
  • Argumentation
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Design
  • Software Engineering
  • Artificial Intelligence
  • Knowledge Based Systems
  • Embedded Systems
  • Bayesian Methods
  • Inference Engines
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Software Design
  • Software Engineering
  • Artificial Intelligence
  • Automata Theory
  • Knowledge Based Systems
  • Software Architecture
  • Embedded Systems
  • Architecting
  • Architecture Verification And Validation
  • Model Checking
  • Bayesian Methods
  • Reasoning
  • Mathematics
  • Inference Engines
  • Probability Distributions
  • Verification
  • Software Quality
  • Dempster-Shafer Theory
  • Inference
  • Data Fusion
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Multiagent System
  • Software Design
  • Software Engineering
  • Graph Theory
  • Embedded Systems
  • Computer Programming Languages
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Multiagent System
  • Argumentation
  • Autonomous Agents
  • Logic Programming
  • Software Design
  • Software Engineering
  • Argumentation Frameworks
  • Abstract Argumentation
  • Automata Theory
  • Software Architecture
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Graph Theory
  • Semantics
  • Embedded Systems
  • Computer Programming Languages
  • Verification
  • Software Quality
  • Verification And Validation
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Computer Programming
  • Computer Programming Languages
  • Object Oriented Programming
  • Formal Logic
  • Graph Theory
  • Theoretical Computer Science
  • Artificial Intelligence
  • Microprocessor Chips
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Parallel Processing Systems
  • Distributed Systems
  • Distributed Computer Systems
  • Program Compilers
  • Computer Programming
  • Computer Programming Languages
  • Object Oriented Programming
  • Modal Logic
  • Formal Logic
  • Graph Theory
  • Theoretical Computer Science
  • Programming Languages
  • Formal Languages
  • Artificial Intelligence
  • Microprocessor Chips
  • Verification
  • Verification And Validation
  • Boolean Functions
  • Linguistics
  • Software Quality
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming Languages
  • Computer Programming
  • Knowledge Based Systems
  • Distributed Computer Systems
  • Theoretical Computer Science
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Computer Programming Languages
  • Computer Programming
  • Programming Languages
  • Answer Set Programming
  • Logic Programs
  • Logic Programming
  • Knowledge Representation
  • Answer Set
  • Knowledge Based Systems
  • Model Checking
  • Parallel Processing Systems
  • Distributed Systems
  • Automata Theory
  • Architecture Verification And Validation
  • Architecting
  • Distributed Computer Systems
  • Linguistics
  • Modal Logic
  • Theoretical Computer Science
  • Software Architecture
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Embedded Systems
  • Feedback Systems
  • Computer Programming Languages
  • Robotics
  • Software Engineering
  • Software Design
  • Mobile Robots
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Automation
  • Linear Matrix Inequalities
  • Matrix Algebra
  • Process Control
  • Adaptive Control Systems
  • Engineering
  • Mathematics
  • Embedded Systems
  • Feedback Systems
  • Control Theory
  • Nonlinear Control Systems
  • Software Architecture
  • Model Checking
  • Architecture Verification And Validation
  • Architecting
  • Computer Programming Languages
  • Robotics
  • Software Engineering
  • Software Design
  • Mobile Robots
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Knowledge Based Systems
  • Software Design
  • Software Engineering
  • Graph Theory
  • Embedded Systems
  • World Wide Web
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Knowledge Based Systems
  • Ontology
  • Semantics
  • Knowledge Representation
  • Software Design
  • Software Engineering
  • Architecture Verification And Validation
  • Model Checking
  • Architecting
  • Software Architecture
  • Automata Theory
  • Rule Base
  • Reasoning
  • Graph Theory
  • Logic Programming
  • Query Languages
  • Embedded Systems
  • Description Logic
  • Linguistics
  • World Wide Web
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Artificial Intelligence
  • Software Design
  • Software Engineering
  • Multiagent System
  • Embedded Systems
  • Formal Logic
  • Machine Learning
  • Graph Theory
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Artificial Intelligence
  • Software Design
  • Software Engineering
  • Architecture Verification And Validation
  • Model Checking
  • Architecting
  • Automata Theory
  • Multiagent System
  • Software Architecture
  • Embedded Systems
  • Formal Logic
  • Semantics
  • Autonomous Agents
  • Verification
  • Software Quality
  • Machine Learning
  • Verification And Validation
  • Ontology
  • Reasoning
  • Graph Theory
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Computer Programming Languages
  • Computer Programming
  • Software Engineering
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Formal Logic
  • Computer Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Parallel Processing Systems
  • Distributed Systems
  • Program Compilers
  • Distributed Computer Systems
  • Static Analysis
  • Computer Programming Languages
  • Computer Programming
  • Abstract Interpretation
  • Software Engineering
  • Software Quality
  • Verification
  • Verification And Validation
  • Modal Logic
  • Theoretical Computer Science
  • Program Analysis
  • Formal Languages And Automata Theory
  • Abstract Domains
  • Formal Languages
  • Formal Logic
  • Computer Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Knowledge Based Systems
  • Computer Programming Languages
  • Software Design
  • Computer Programming
  • Software Engineering
  • Embedded Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Logic Programs
  • Knowledge Representation
  • Logic Programming
  • Answer Set Programming
  • Knowledge Based Systems
  • Answer Set
  • Semantics
  • Computer Programming Languages
  • Software Design
  • Automata Theory
  • Computer Programming
  • Software Engineering
  • Model Checking
  • Architecture Verification And Validation
  • Software Architecture
  • Architecting
  • Embedded Systems
  • Programming Languages
  • Verification
  • Software Quality
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Artificial Intelligence
  • Formal Logic
  • Software Design
  • Software Engineering
  • Genetic Algorithms
  • Microprocessor Chips
  • Database Systems
  • Theoretical Computer Science
  • Software
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Systems
  • Parallel Processing Systems
  • Distributed Computer Systems
  • Artificial Intelligence
  • Formal Logic
  • Software Design
  • Software Engineering
  • Software Architecture
  • Optimization Problems
  • Genetic Algorithms
  • Optimization
  • Modal Logic
  • Evolutionary Algorithms
  • Microprocessor Chips
  • Program Processors
  • Database Systems
  • Theoretical Computer Science
  • Software
  • Parallel Architectures
  • Correlation Analysis
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Computer Programming Languages
  • Computer Programming
  • Object Oriented Programming
  • Formal Logic
  • Artificial Intelligence
  • Graph Theory
  • Theoretical Computer Science
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Distributed Systems
  • Parallel Processing Systems
  • Program Compilers
  • Computer Programming Languages
  • Computer Programming
  • Object Oriented Programming
  • Formal Logic
  • Programming Languages
  • Architecting
  • Architecture Verification And Validation
  • Model Checking
  • Artificial Intelligence
  • Graph Theory
  • Functional Programming
  • Linguistics
  • Modal Logic
  • Formal Languages
  • Theoretical Computer Science
  • Software Architecture
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Object Oriented Programming
  • Distributed Computer Systems
  • Computer Programming
  • Computer Programming Languages
  • Multiagent System
  • Software Engineering
  • Artificial Intelligence
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Object Oriented Programming
  • Distributed Computer Systems
  • Distributed Systems
  • Parallel Processing Systems
  • Computer Programming
  • Coordination Mechanisms
  • Computer Programming Languages
  • Multiagent System
  • Program Compilers
  • Modal Logic
  • Architecture Types
  • Automata Theory
  • Software Engineering
  • Artificial Intelligence
  • Semantics
  • Software Architecture
  • Real Time Systems
  • Logic Programming
  • Communication
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Bayesian Methods
  • Inference Engines
  • Software Design
  • Software Engineering
  • Multiagent System
  • Embedded Systems
  • Artificial Intelligence
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Probability
  • Probability Distributions
  • Bayesian Methods
  • Inference Engines
  • Software Design
  • Software Engineering
  • Argumentation
  • Autonomous Agents
  • Automata Theory
  • Architecting
  • Multiagent System
  • Architecture Verification And Validation
  • Model Checking
  • Embedded Systems
  • Mathematics
  • Logic Programming
  • Software Architecture
  • Artificial Intelligence
  • Semantics
  • Inference
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Formal Logic
  • Software Engineering
  • Artificial Intelligence
  • Formal Languages And Automata Theory
  • Embedded Systems
  • Computer Programming
  • Software Design
  • Software
  • Requirements Engineering
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Object Oriented Programming
  • Formal Logic
  • Software Engineering
  • Artificial Intelligence
  • Formal Languages And Automata Theory
  • Embedded Systems
  • Software Architecture
  • Computer Programming
  • Formal Languages
  • Software Design
  • Automata Theory
  • Software
  • Modal Logic
  • Model Transformation
  • Semantics
  • Code Generation
  • Requirements Engineering
  • Program Compilers
  • Software Project
  • Distributed Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Graph Theory
  • Artificial Intelligence
  • Software Design
  • Software Engineering
  • Theoretical Computer Science
  • Embedded Systems
  • Computer Programming
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Graph Theory
  • Artificial Intelligence
  • Software Design
  • Software Engineering
  • Theoretical Computer Science
  • Graphic Methods
  • Semantics
  • Polynomial Approximation
  • Software Architecture
  • Architecture Verification And Validation
  • Model Checking
  • Directed Graphs
  • Architecting
  • Embedded Systems
  • Weighted Graph
  • Modal Logic
  • Computer Programming
  • Software Quality
  • Graph G
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Graph Theory
  • Artificial Intelligence
  • Computer Programming Languages
  • Computer Programming
  • Theoretical Computer Science
  • Formal Languages And Automata Theory
  • Knowledge Based Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Petri Nets
  • Formal Logic
  • Graph Theory
  • Colored Petri Nets
  • Timed Petri Net
  • Artificial Intelligence
  • Computer Programming Languages
  • Computer Programming
  • Semantics
  • Theoretical Computer Science
  • Modal Logic
  • Formal Languages And Automata Theory
  • Logic Programming
  • Formal Languages
  • Linguistics
  • Business Process
  • Boolean Functions
  • Process Mining
  • Satisfiability
  • Knowledge Based Systems
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Database Systems
  • Formal Logic
  • Internet
  • Computer Systems
  • Object Oriented Programming
  • Distributed Computer Systems
  • Data Mining
  • World Wide Web
  • Formal Languages And Automata Theory
  • Knowledge Based Systems
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Database Systems
  • Formal Logic
  • Query Languages
  • Internet
  • Computer Systems
  • Object Oriented Programming
  • Modal Logic
  • Distributed Systems
  • Distributed Computer Systems
  • Data Mining
  • World Wide Web
  • Automata Theory
  • Formal Languages
  • Formal Languages And Automata Theory
  • Parallel Processing Systems
  • Logic Programming
  • Knowledge Based Systems
  • Software Architecture
  • Real Time Systems
  • Boolean Functions
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Computer Programming
  • Distributed Computer Systems
  • Object Oriented Programming
  • Artificial Intelligence
  • Computer Programming Languages
  • Software
  • Software Engineering
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Parallel Processing Systems
  • Distributed Systems
  • Program Compilers
  • Computer Programming
  • Distributed Computer Systems
  • Object Oriented Programming
  • Linguistics
  • Artificial Intelligence
  • Model Checking
  • Architecture Verification And Validation
  • Computer Programming Languages
  • Software
  • Programming Languages
  • Modal Logic
  • Computational Linguistics
  • Architecting
  • Context-Free
  • Context Free Languages
  • Software Engineering
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Computer Systems
  • Computer Programming Languages
  • Computer Programming
  • Formal Logic
  • Object Oriented Programming
  • Artificial Intelligence
  • Graph Theory
  • Theoretical Computer Science
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Distributed Systems
  • Distributed Computer Systems
  • Parallel Processing Systems
  • Program Compilers
  • Computer Programming Languages
  • Computer Programming
  • Formal Logic
  • Object Oriented Programming
  • Artificial Intelligence
  • Architecture Verification And Validation
  • Model Checking
  • Linguistics
  • Type Systems
  • Modal Logic
  • Graph Theory
  • Architecting
  • Programming Languages
  • Software Architecture
  • Theoretical Computer Science
  • Automata Theory
  • Top High level topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Formal Languages And Automata Theory
  • Software Engineering
  • Object Oriented Programming
  • Data Mining
  • Knowledge Based Systems
  • Computer Programming
  • Software Design
  • Top 20 topics shared with ACM Transactions on Computational Logic (TOCL)

  • Formal Logic
  • Formal Languages And Automata Theory
  • Software Engineering
  • Formal Languages
  • Automata Theory
  • Object Oriented Programming
  • Data Mining
  • Knowledge Based Systems
  • Modal Logic
  • Architecture Verification And Validation
  • Model Checking
  • Distributed Systems
  • Computer Programming
  • Architecting
  • Software Architecture
  • Software Design
  • Parallel Processing Systems
  • Network Security
  • Optimization Problems
  • Logic Programming