Výsledky vyhľadávania - Logic and constraint programming. Keywords and phrases automata theory~
-
1
Autori:
Zdroj: ACM Transactions on Computational Logic; Jan2024, Vol. 25 Issue 1, p1-34, 34p
Predmety: SET theory, CONSTRAINT programming, LOGIC programming
-
2
Autori: Daylight, Edgar Graham
Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p76, 24p
Predmety: COMPUTATIONAL complexity, MACHINE theory, MATHEMATICAL logic, DETERMINISTIC algorithms, PROPOSITION (Logic), INDUCTION (Logic)
Osoby: PLATO, 428-347 B.C.
-
3
Autori:
Prispievatelia:
Predmety: putation, F.2.2 [Nonnumerical Algorithms and Problems, Computations on discrete structures, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, F.4.1 [Mathematical Logic, Logic and constraint programming. Keywords and phrases automata theory, pushdown systems, sets with atoms, saturation tech- nique. Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211; http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
https://inria.hal.science/hal-04644417
51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn University of Technology, Jul 2024, Tallin, Estonia. pp.21, ⟨10.4230/LIPIcs.ICALP.2024.140⟩
https://compose.ioc.ee/icalp2024/Predmety: Theory of computation → Program verification, Asymptotic Expansions, Linear Constraints Loops, and Theory of Programming ], Semantics, Logic, Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata, Convex Sets, Minkowski-Weyl, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops Minkowski-Weyl Convex Sets Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata Logic Semantics and Theory of Programming ], [INFO]Computer Science [cs]
Time: Tallin, Estonia
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation—Automata, F.4.1 [Mathematical logic and formal languages, Mathematical logic, G.1.6 [Numerical Analysis, Optimization—Integer programming, H.2.1 [Database Management, Logical Design—Data Models General Terms, Algorithms, Theory Additional Key Words and Phrases, XML, tree languages, data values, Presburger arithmetic, reasoning, integer linear programming ACM Reference Format
Popis súboru: application/pdf
-
6
Autori:
Zdroj: International Journal of Production Research; Dec2023, Vol. 61 Issue 24, p8560-8579, 20p
-
7
Autori: a ďalší
Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-27, 27p
-
8
Autori: AMADINI, ROBERTO
Zdroj: ACM Computing Surveys; Jan2023, Vol. 55 Issue 1, p1-38, 38p, 1 Illustration
Predmety: PROBLEM solving, CONSTRAINT programming, INTERNET security
-
9
Autori: a ďalší
Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p
-
10
Autori: AMADINI, ROBERTO
Zdroj: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-38, 38p, 2 Illustrations
-
11
Autori: a ďalší
Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p
-
12
Autori:
Zdroj: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p
-
13
Autori:
Zdroj: Theory of Computing Systems; Apr2020, Vol. 64 Issue 3, p542-567, 26p
-
14
Autori: Arbib, Michael A.
Zdroj: Communications of the ACM; Jul1972, Vol. 15 Issue 7, p521-527, 7p
-
15
Autori: a ďalší
Zdroj: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 11, p45-65, 21p
-
16
Autori: a ďalší
Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 20, p2957, 49p
-
17
Autori: Ak, Onurhan
Zdroj: Social Studies of Science (Sage Publications, Ltd.); Oct2025, Vol. 55 Issue 5, p711-731, 21p
-
18
Alternate Title: ΤΝ και Δημοκρατία: Προβληματισμοί, σενάρια και ηθικά διλήμματα. (Greek, Ancient (to 1453))
Autori: Sampathianaki, Aikaterini
Zdroj: Bioethica; Sep2025, Vol. 11 Issue 2, p41-56, 16p
-
19
Autori: Cai, Qiaoyu
Zdroj: Theory, Culture & Society; May2025, Vol. 42 Issue 3, p21-40, 20p
Predmety: ARTIFICIAL intelligence, MACHINE learning, ECONOMIC man, SMART cities
Geografický termín: CHINA
-
20
Full Text Finder
Nájsť tento článok vo Web of Science