Search Results - Theory of computation Logic Logic and verification
-
1
Contributors:
Subject Terms: Open Access, artificial intelligence, computer networks, automated reasoning, computer systems, description logics, formal languages, formal logic, constraint solving, decision procedures, network protocols, ontologies, semantics, software architecture, software design, software engineering, software quality, verification and validation, Software Engineering, Computer hardware, Mathematical theory of computation, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)
-
2
Contributors:
Subject Terms: formal methods, computer-aided system design, hardware and system verification, formal verification, specification, synthesis and testing, automated and formal reasoning, Systems analysis and design, Software testing and verification, Computer architecture and logic design, Mathematical theory of computation, Artificial intelligence
File Description: application/pdf
Relation: Conference Series: Formal Methods in Computer-Aided Design
-
3
-
4
Authors:
Resource Type: eBook.
Subjects: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems
Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
PDF Full Text -
5
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
6
Contributors:
Subject Terms: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, Mathematical theory of computation, Software Engineering, Artificial intelligence, Computer hardware
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
-
7
Contributors:
Subject Terms: Formal Methods, Computer-Aided System Design, Hardware and System Verification, Formal Verification, Specification, Synthesis, and Testing, Automated and Formal Reasoning, Systems analysis and design, Software testing and verification, Computer architecture and logic design, Mathematical theory of computation, Artificial intelligence
File Description: application/pdf
Relation: Conference Series: Formal Methods in Computer-Aided Design
-
8
Contributors:
Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
9
Contributors: et al.
Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
10
Contributors:
Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
11
-
12
-
13
Contributors:
Subject Terms: architecture verification, artificial intelligence, automata theory, computer programming, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, formal methods, model checking, software architecture, software design, software engineering, software quality, temporal logic, verification techniques, Software Engineering, Artificial intelligence, Computer programming / software engineering, Mathematical theory of computation, Computer modelling and simulation
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
14
Contributors:
Subject Terms: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
15
Contributors:
Subject Terms: Computer science, Software engineering, Computer logic, Mathematical logic, Computer system failures, Computers, Artificial intelligence, Information technology: general topics, Computer programming / software engineering, Software Engineering, Mathematical theory of computation, Systems analysis and design
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
16
Contributors:
Subject Terms: Computer science, Computer logic, Software engineering, Artificial intelligence, Mathematical logic, Algorithms, Computer simulation, Computer programming / software engineering, Algorithms and data structures, Software Engineering, Mathematical theory of computation, Computer modelling and simulation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
17
Authors:
Source: Logical Methods in Computer Science, Vol 16, Issue 4 (2020)
Subject Terms: computer science - computational complexity, computer science - logic in computer science, theory of computation - parallel computing models, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
18
Contributors:
Subject Terms: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Logic in AI, Information Systems and Communication Service, Computer Engineering and Networks, architecture verification and validation, artificial intelligence, automata theory, computer networks, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, model-checking, SAT and SMT solving, signal processing, software and hardware verification, software architecture, software engineering, specification and verification techniques, static and dynamic program analysis, system construction and transforamtion techniques, theorem-proving, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
19
Contributors:
Subject Terms: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
-
20
Contributors:
Subject Terms: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Full Text Finder 
Nájsť tento článok vo Web of Science