Search Results - "((\"mathematik logic and algorithm theory\") OR (\"mathematik logic and algorithm theory\"))"
-
1
Authors: et al.
Contributors: et al.
Source: Algorithmica. 85:2923-2961
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logspace, edit distance, Counting complexity, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), 01 natural sciences, Dewey Decimal Classification::500 | Naturwissenschaften::510 | Mathematik, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, Parameterized complexity, Dewey Decimal Classification::000 | Allgemeines, Wissenschaft::000 | Informatik, Wissen, Systeme::004 | Informatik, Computer Science - Data Structures and Algorithms, sketching, 0202 electrical engineering, electronic engineering, information engineering, Counting Complexity, Data Structures and Algorithms (cs.DS), ddc:004, Parameterized Complexity
File Description: application/pdf
Access URL: http://arxiv.org/abs/1904.12156
http://arxiv.org/abs/2010.13170
https://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#HaakM0R21
https://drops.dagstuhl.de/opus/volltexte/2021/13685/pdf/LIPIcs-STACS-2021-40.pdf/
https://doi.org/10.4230/LIPIcs.STACS.2021.40
https://drops.dagstuhl.de/opus/volltexte/2021/13685/
https://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#JinN021
https://doi.org/10.4230/LIPIcs.STACS.2021.45
https://drops.dagstuhl.de/opus/volltexte/2021/13690/pdf/LIPIcs-STACS-2021-45.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/13690/
https://arxiv.org/abs/2010.13170
https://arxiv.org/pdf/2010.13170
https://ui.adsabs.harvard.edu/abs/2020arXiv201013170J/abstract
https://arxiv.org/abs/1904.12156
https://arxiv.org/pdf/1904.12156.pdf
https://ui.adsabs.harvard.edu/abs/2019arXiv190412156H/abstract
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.45
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.40
https://escholarship.org/uc/item/2p1465kt -
2
Authors: Zimmermann, Karl-Heinz
Subject Terms: Models of Computation (F.4.1), F.1.3:Complexity Measures and Classes (F.2) (REVISED), F.1.2:Modes of Computation, computability theory, complexity theory, 03-XX, Komplexitätstheorie, Turing machine, Computability, recursion theory, Turing machine, undecidability, word problems, complexity classes, Berechenbarkeit, Ingenieurwissenschaften, theoretical computer science, Theoretische Informatik, Grammars and Other Rewriting Systems (D.3.1), Rekursionstheorie, F.1.1:Models of Computation (F.4.1), computability, Computability, 510: Mathematik, recursion theory, undecidability, word problems, complexity classes, Unentscheidbarkeit, Mathematik, 03-XX:Mathematical logic and foundations, F.1.2, Complexity Measures and Classes (F.2) (REVISED), Nonnumerical Algorithms and Problems (E.2-5, G.2, H.2-3), F.1.3, Algebraische Rekursionstheorie, complexity, F.1.1, Mathematical Logic (F.1.1, I.2.2-4)
-
3
Authors: et al.
Contributors: et al.
Source: Symposium on Theoretical Aspects of Computer Science ; STACS'12 (29th Symposium on Theoretical Aspects of Computer Science) ; https://hal.archives-ouvertes.fr/hal-00678192 ; STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.148-159
Subject Terms: Modal Logic, Model Checking, Asynchronous Product, Pushdown Systems, Feferman-Vaught, Nonelementary lower bounds, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: hal-00678192; https://hal.archives-ouvertes.fr/hal-00678192; https://hal.archives-ouvertes.fr/hal-00678192/document; https://hal.archives-ouvertes.fr/hal-00678192/file/37.pdf
-
4
Authors:
Subject Terms: Engineering, Computer Science, Mathematics, Computation, Algorithms and Data Structures, Theory of Computation, Studienbereich Informatik, Mathematik, Ingenieurwissenschaften, Naturwissenschaften
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Algorithms, Search Algorithms, Sorting Algorithms, Algorithmic Composition, Graphs, Graph Algorithms, Graph Theory, String Algorithms, Computability, Computational Complexity, Data Structures, Automata, Formal Languages, Grammars, Parallel Algorithms, Distributed Algorithms, Knowledge Representation And Reasoning, Logic And Circuits, Logic, Logic For Computer Science, Studienbereich Informatik, Mathematik, Naturwissenschaften, Ingenieurwissenschaften
-
6
Authors: et al.
Source: International Journal of Foundations of Computer Science. Sep2024, Vol. 35 Issue 6, p605-607. 3p.
-
7
Authors:
Source: Mathematics (2227-7390); Feb2020, Vol. 8 Issue 2, p207, 1p
Subject Terms: FUZZY logic, RADAR equipment, FUZZY algorithms, TRACKING radar, SET theory, RADAR, SURVEILLANCE radar, RADARSAT satellites
-
8
Authors: Baecker, Dirk
Source: Current Sociology; Jul2025, Vol. 73 Issue 4, p493-508, 16p
Subject Terms: MACHINE learning, COMPUTER systems, DIGITAL communications, SOCIAL systems, DIGITAL technology
-
9
Authors:
Source: Educational & Psychological Measurement; Jun2025, Vol. 85 Issue 3, p429-457, 29p
Subject Terms: CLUSTER analysis (Statistics), DATA analysis, CLUSTERING algorithms, T-test (Statistics), RESEARCH methodology evaluation, MULTIPLE regression analysis, PROBABILITY theory, LOGISTIC regression analysis, EDUCATIONAL tests & measurements, DESCRIPTIVE statistics, ARTIFICIAL neural networks, STATISTICS, LOGIC, MULTIDIMENSIONAL scaling, MACHINE learning, FACTOR analysis, CONFIDENCE intervals, ALGORITHMS, TEST design, SENSITIVITY & specificity (Statistics)
-
10
Authors: et al.
Source: Journal of the ACM; Jun2025, Vol. 72 Issue 3, p1-27, 27p
-
11
Authors: Reichenberger, Andrea
Source: History & Philosophy of Logic; May2025, Vol. 46 Issue 2, p287-296, 10p
Subject Terms: FINITE model theory, MATHEMATICS, MATHEMATICAL logic, COMPUTER science, COMPUTATIONAL mathematics
-
12
Authors: et al.
Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10517-10554, 38p
-
13
Authors: BEN-ELIYAHU-ZOHARY, RACHEL
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p507-521, 15p
Subject Terms: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science
-
14
Authors:
Source: Algorithms; Sep2025, Vol. 18 Issue 9, p560, 19p
Subject Terms: GRAPH theory, GRAPH algorithms, MATHEMATICAL optimization, ALGORITHMS, DYNAMIC programming
-
15
Authors: et al.
Source: Proceedings of the American Mathematical Society; Sep2025, Vol. 153 Issue 9, p4013-4024, 12p
Subject Terms: FIRST-order logic, SCIENTIFIC models, PHILOSOPHY of science
-
16
Authors:
Source: Palestine Journal of Mathematics; 2025, Vol. 14 Issue 3, p581-589, 9p
-
17
Authors: BORGER, EGON
Source: Mathematical Logic Quarterly. 25:135-162
Subject Terms: partial implicational propositional calculus in two variables, representation theorems, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, semi-Thue system, recursive reduction, recursive classes of first-order logical formulae with equality, 0102 computer and information sciences, Thue and Post systems, etc, Automata and formal grammars in connection with logical questions, 01 natural sciences, Turing machine, partial recursive functions, Decidability of theories and sets of sentences, algorithmic systems, Turing machines and related notions, Other degrees and reducibilities in computability and recursion theory, many-one equivalence, word problem of Thue systems, 0101 mathematics, Markov algorithm, Word problems, etc. in computability and recursion theory, decision problems, register machine, Post normal calculus
File Description: application/xml
-
18
Authors:
Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p10468-10489, 22p
-
19
Source: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p580-614, 35p
-
20
Authors: et al.
Source: Bulletin of the Section of Logic; Mar2025, Vol. 54 Issue 1, p59-151, 93p
Full Text Finder
Nájsť tento článok vo Web of Science