Search Results - Theory of computation Logic Modal and temporal logics
-
1
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
-
2
Authors:
Source: Studia Logica: An International Journal for Symbolic Logic, 2016 Jun 01. 104(3), 455-486.
Access URL: http://www.jstor.org/stable/24754977
-
3
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
-
4
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
-
5
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
-
6
Contributors:
Subject Terms: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, 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, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
7
Contributors:
Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, 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, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
8
-
9
Authors:
Source: Information Processing Letters. Aug2024, Vol. 186, pN.PAG-N.PAG. 1p.
Subject Terms: MODAL logic, NEIGHBORHOODS
-
10
Authors:
Source: Information & Computation. Apr2018 Part 3, Vol. 259, p412-443. 32p.
Subject Terms: *MODAL logic, *MATHEMATICAL bounds, *COMPUTATIONAL complexity, *ALGORITHMS, *MACHINE theory
-
11
-
12
-
13
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 -
14
Authors: Smarandache, Florentin
Source: BRAIN: Broad Research in Artificial Intelligence & Neuroscience; Apr2019, Vol. 10 Issue 2, p26-36, 11p
Subject Terms: NEUTROSOPHIC logic, MODAL logic, PREDICATE (Logic)
-
15
Authors: MIZRAJI, Eduardo
Source: Theoria: An International Journal for Theory, History & Foundations of Science; Jan2016, Vol. 31 Issue 1, p7-25, 19p
Subject Terms: NATURAL languages, MAXIMS, MODAL logic, HOLMES, Sherlock (Fictional character)
-
16
Authors:
Source: Journal of Cognitive Science; Jun2025, Vol. 26 Issue 2, p111-158, 48p
-
17
Authors:
Source: Thinking & Reasoning; Aug2023, Vol. 29 Issue 3, p409-415, 7p, 2 Charts
Subject Terms: NUMBER theory, SYLLOGISM, PROBABILITY theory, LOGIC
-
18
Authors: et al.
Source: The international journal of medical robotics + computer assisted surgery : MRCAS [Int J Med Robot] 2025 Apr; Vol. 21 (2), pp. e70060.
Publication Type: Journal Article
Journal Info: Publisher: Wiley Country of Publication: England NLM ID: 101250764 Publication Model: Print Cited Medium: Internet ISSN: 1478-596X (Electronic) Linking ISSN: 14785951 NLM ISO Abbreviation: Int J Med Robot Subsets: MEDLINE
-
19
-
20
Authors:
Source: Frontiers in Computational Neuroscience; 2025, p1-29, 29p
Subject Terms: NEURAL codes, AUDITORY perception, VISION, SYNCHRONIZATION, TACTILE sensors, SENSORIMOTOR integration, TASTE
Full Text Finder
Nájsť tento článok vo Web of Science