-
1
المؤلفون: Jörg Flum, Yijia Chen
المصدر: LICS
مصطلحات موضوعية: Model theory, Combinatorics, Computable function, Bounded function, Vertex cover, Graph theory, Gödel's completeness theorem, Characterization (mathematics), Finite set
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4361c3e8ee1c05d3b15f71245bbff147
https://doi.org/10.1109/lics52264.2021.9470742 -
2
المؤلفون: Jörg Flum, Heinz-Dieter Ebbinghaus, Wolfgang Thomas
المصدر: Mathematical Logic ISBN: 9783030738389
Mathematical Logic ISBN: 9781475723571مصطلحات موضوعية: Syntax (programming languages), Computer science, Abstract syntax, Comparison of multi-paradigm programming languages, Ergative case, Abstract family of languages, Second-generation programming language, Ontology language, Linguistic universal, Linguistics
-
3
المؤلفون: Jörg Flum, Wolfgang Thomas, Heinz-Dieter Ebbinghaus
المصدر: Mathematical Logic ISBN: 9783030738389
مصطلحات موضوعية: Successor cardinal, Exact model, Finite-state machine, Computability, Gödel's incompleteness theorems, Decidability, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Gödel, Presburger arithmetic, computer, Computer Science::Formal Languages and Automata Theory, computer.programming_language, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e63ffc2463d3ee31efcdb47dbaef8994
https://doi.org/10.1007/978-3-030-73839-6_10 -
4
المؤلفون: Wolfgang Thomas, Heinz-Dieter Ebbinghaus, Jörg Flum
المصدر: Mathematical Logic ISBN: 9783030738389
Mathematical Logic ISBN: 9781475723571مصطلحات موضوعية: Discrete mathematics, Set (abstract data type), Computable function, Section (typography), Compactness theorem, Expressive power, Mathematics
-
5
المؤلفون: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
المصدر: Mathematical Logic ISBN: 9783030738389
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::df1b827553acafdadded0c083b6a5f6a
https://doi.org/10.1007/978-3-030-73839-6_1 -
6
المؤلفون: Jörg Flum, Yijia Chen
المصدر: Fields of Logic and Computation III ISBN: 9783030480059
Fields of Logic and Computation IIIمصطلحات موضوعية: Discrete mathematics, Section (fiber bundle), Class (set theory), Hierarchy (mathematics), Complexity class, Parameterized complexity, Astrophysics::Cosmology and Extragalactic Astrophysics, First-order logic, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b0cb0b0fb2e0f29c82ea1aa79a612b51
https://doi.org/10.1007/978-3-030-48006-6_5 -
7
المؤلفون: Jörg Flum, Yijia Chen
المصدر: LICS
مصطلحات موضوعية: Class (set theory), Rank (linear algebra), Generalized quantifier, Parameterized complexity, 0102 computer and information sciences, 02 engineering and technology, Tree-depth, 01 natural sciences, Combinatorics, Quantifier (logic), 010201 computation theory & mathematics, Bounded function, Quantifier elimination, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::33e0ade834971c6082bd4299023a4e01
https://doi.org/10.1145/3209108.3209160 -
8
المؤلفون: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
المصدر: Einführung in die mathematische Logik ISBN: 9783662580288
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8408e1a6ab5e47ab9658ae6c408dd3de
https://doi.org/10.1007/978-3-662-58029-5_7 -
9
المؤلفون: Jörg Flum, Heinz-Dieter Ebbinghaus, Wolfgang Thomas
المصدر: Einführung in die mathematische Logik ISBN: 9783662580288
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::175aa45ce160496078636b199593f669
https://doi.org/10.1007/978-3-662-58029-5_9 -
10
المؤلفون: Jörg Flum, Heinz-Dieter Ebbinghaus, Wolfgang Thomas
المصدر: Einführung in die mathematische Logik ISBN: 9783662580288
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1576b9761ae80cf873527de627b4b027
https://doi.org/10.1007/978-3-662-58029-5_13