Search Results - 2012 ACM Subject Classification Theory of computation → Complexity theory AND logic
-
1
Authors: et al.
Contributors: et al.
Source: MFCS 2023 ; https://hal.science/hal-04287405 ; MFCS 2023, Aug 2023, Bordeaux, France. ⟨10.4230/LIPIcs⟩
Subject Terms: Well-partial order, program verification, termination, finite multisets, Theory of computation → Program reasoning, Theory of computation → Proof theory, Theory of computation → Logic and verification, 2012 ACM Subject Classification Theory of computation → Complexity theory and logic, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.09881; ARXIV: 2302.09881
-
2
Authors: et al.
Contributors: et al.
Source: 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
https://hal.science/hal-03864946
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), Meel, Kuldeep S. and Strichman, Ofer, Aug 2022, Haifa, Israel. pp.17:1--17:20, ⟨10.4230/LIPIcs.SAT.2022.17⟩Subject Terms: 2012 ACM Subject Classification Theory of computation → Complexity theory and logic, Theory of computation → Proof complexity phrases rectangle decision lists, QBF proof complexity, OBDD, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
-
3
Authors:
Contributors:
Source: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Typing, Linear Logic, Functional Programming, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
-
4
Authors: et al.
Contributors: et al.
Source: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
https://hal.science/hal-03820478
47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Aug 2022, Vienna, Austria. pp.1868-8969, ⟨10.4230/LIPIcs.MFCS.2022.37⟩
https://ac.tuwien.ac.at/mfcs2022/Subject Terms: 2012 ACM Subject Classification Theory of computation → Tree languages, nominal automata, language theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/grantAgreement//670624/EU/Duality in Formal Languages and Logic - a unifying approach to complexity and semantics/DuaLL
-
5
Authors: et al.
Contributors: et al.
Source: International Colloquium on Automata, Languages, and Programming, ICALP ; https://hal.science/hal-03473726 ; International Colloquium on Automata, Languages, and Programming, ICALP, 2021, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.127⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Tree languages, Theory of computation → Regular languages phrases Tree algebra, infinite tree, language theory Digital Object Identifier 10.4230/LIPIcs.ICALP.2021.127 Category Track B: Automata, Logic, Semantics, and Theory of Programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Glasgow, United Kingdom
Relation: info:eu-repo/grantAgreement//670624/EU/Duality in Formal Languages and Logic - a unifying approach to complexity and semantics/DuaLL
-
6
Authors: et al.
Contributors: et al.
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Implicit Complexity, Functional Programming, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ddc:004, Typing, Linear Logic
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Source: FSTTCS ; https://hal.science/hal-04782385 ; FSTTCS, Dec 2023, Telangana, India. pp.35:1--35:22, ⟨10.4230/LIPICS.FSTTCS.2023.35⟩
Subject Terms: Theory of computation → Logic and verification, Theory of computation → Verification by model checking, Theory of computation → Concurrency, lower bounds, vector addition systems, lower bounds Digital Object Identifier 10.4230/LIPIcs.STACS.2022.35, pushdown vector addition system, reachability problem, Theory of computation vector addition systems, Theory of computation vector addition systems reachability problem pushdown vector addition system lower bounds Digital Object Identifier 10.4230/LIPIcs.STACS.2022.35, 2012 ACM Subject Classification Theory of computation → Concurrency, [INFO]Computer Science [cs]
-
8
Authors: et al.
Contributors: et al.
Source: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’22)
https://hal.science/hal-03772628
37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’22), Aug 2022, Haifa, IsraelSubject Terms: Reversible transducers, Rational expressions, regular functions, 2012 ACM Subject Classification Theory of computation -> Transducers, [INFO]Computer Science [cs], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
9
Authors: et al.
Contributors: et al.
Source: FSTTCS 2020 ; https://hal.science/hal-03046213 ; FSTTCS 2020, Dec 2020, Goa, India. pp.41:1--41:13, ⟨10.4230/LIPIcs.FSTTCS.2020.41⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Logic and verification phrases Good for games, history-determinism, alternation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
10
Authors: et al.
Contributors: et al.
Subject Terms: FOS: Computer and information sciences, Cut-offs, Computer Science - Logic in Computer Science, Verification, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, 7. Clean energy, 01 natural sciences, Logic in Computer Science (cs.LO), 0202 electrical engineering, electronic engineering, information engineering, Parameterized networks, ddc:004, 2012 ACM Subject Classification Theory of computation → Concurrency phrases Parameterized networks
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-03850362 ; 2022.
Subject Terms: 2012 ACM Subject Classification Theory of computation, Logic and verification phrases Skolem problem, verification, dynamical systems, robustness, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2211.02365; ARXIV: 2211.02365
-
12
Authors: et al.
Contributors: et al.
Source: CONCUR 2019 ; https://hal.science/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands
Subject Terms: reachability, FIFO, termination, Infinite state systems, complexity, flat systems, counters, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: AMSTERDAM, Netherlands
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1908.07282; ARXIV: 1908.07282
-
13
Authors: et al.
Source: Cognitive Neurodynamics; 11/10/2025, Vol. 20 Issue 1, p1-30, 30p
-
14
Authors: et al.
Source: Behavioral Sciences (2076-328X); Oct2025, Vol. 15 Issue 10, p1327, 22p
-
15
Authors: et al.
Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p
-
16
Authors: et al.
Source: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p548-571, 24p
-
17
-
18
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 -
19
Authors: et al.
Source: The European journal of neuroscience [Eur J Neurosci] 2025 Feb; Vol. 61 (3), pp. e16676.
Publication Type: Journal Article; Review
Journal Info: Publisher: Wiley-Blackwell Country of Publication: France NLM ID: 8918110 Publication Model: Print Cited Medium: Internet ISSN: 1460-9568 (Electronic) Linking ISSN: 0953816X NLM ISO Abbreviation: Eur J Neurosci Subsets: MEDLINE
MeSH Terms: Brain*/physiology , Neurosciences*/methods , Neurosciences*/classification , Neurons*/physiology , Cognition*/physiology , Models, Neurological* , Nerve Net*/physiology, Humans ; Animals
-
20
Authors:
Source: Animals (2076-2615); Jul2025, Vol. 15 Issue 13, p1835, 48p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text