Suchergebnisse - "ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES*"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Séminaire SRCO - CERMID ; https://hal.inrae.fr/hal-05138693 ; Séminaire SRCO - CERMID, Société canadienne de recherche opérationnelle SCRO -Québec avec la collaboration du département Opérations et Systèmes de Décision et le CERMID, Apr 2025, Québec (Canada), Université Laval, Canada
Schlagwörter: Sustainibility transitions, Agricultural Stakeholders, Agroecological Performance, Agricultural Public Policies, Agroforestry systems, Agroforestery, Territorial Decision-Making, Multicriteria Evaluation ou Multicriteria Decision Aiding (MCDA), Decision support, Parties prenantes agricoles, Evaluation de la performance, Modélisation multicritère pour l'aide à la décision, Transition agroécologique agroécosystèmes, Agroforesterie, Poltiques publiques, Transition agroécologique, Systèmes agroforestiers, JEL: C - Mathematical and Quantitative Methods/C.C4 - Econometric and Statistical Methods: Special Topics/C.C4.C44 - Operations Research • Statistical Decision Theory, JEL: D - Microeconomics/D.D8 - Information, Knowledge, and Uncertainty/D.D8.D81 - Criteria for Decision-Making under Risk and Uncertainty, JEL: O - Economic Development, Innovation, Technological Change, and Growth/O.O1 - Economic Development/O.O1.O13 - Agriculture • Natural Resources • Energy • Environment • Other Primary Products, JEL: Q - Agricultural and Natural Resource Economics • Environmental and Ecological Economics/Q.Q5 - Environmental Economics/Q.Q5.Q57 - Ecological Economics: Ecosystem Services • Biodiversity Conservation • Bioeconomics • Industrial Ecology, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.3: Operational analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems/F.4.2.0: Decision problems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS/H.4.2: Types of Systems/H.4.2.0: Decision support (e.g.
Geographisches Schlagwort: Université Laval
Time: Québec (Canada), Université Laval, Canada
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Techniques de l'ingénieur Automatique et ingénierie système ; https://hal.science/hal-05069404 ; Techniques de l'ingénieur Automatique et ingénierie système, 2025, Automatique séquentielle, Automatique Séquentielle (S7254), ⟨10.51257/a-v2-s7254⟩ ; https://www.techniques-ingenieur.fr/
Schlagwörter: Concurrent Systems, Modeling tools Conclusion, Real time systems, Petri nets, Réseaux de Petri, Systèmes temps réel, Systèmes concurrent, Outils de modélisation Petri net, ACM CCS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.6: Petri nets, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0925-8531.
Schlagwörter: Type-logical grammars, Proof theory, Proof nets, Parsing as deduction, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.0: Complexity of proof procedures, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing, [INFO]Computer Science [cs]
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04053612 ; Logical Methods in Computer Science, 2023, Volume 19, Issue 2, ⟨10.46298/LMCS-19(2:7)2023⟩
Schlagwörter: realizabiliy, nonstandard arithmetic, stateful computations, ultrafilters, glueing, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.6: Model theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2210.05346; hal-04053612; https://hal.science/hal-04053612; https://hal.science/hal-04053612/document; https://hal.science/hal-04053612/file/main.pdf; ARXIV: 2210.05346
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications ; 12th European Conference on Combinatorics, Graph Theory and Applications ; https://hal.science/hal-04407011 ; 12th European Conference on Combinatorics, Graph Theory and Applications, Aug 2023, Prague, Czech Republic. pp.134-141, ⟨10.5817/CZ.MUNI.EUROCOMB23-019⟩
Schlagwörter: MSC (2020) : 05D10, 05C05, 05C55, 54E35, 46B20, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Geographisches Schlagwort: Prague, Czech Republic
Relation: https://doi.org/10.48550/arxiv.2303.14577; info:eu-repo/semantics/altIdentifier/arxiv/2303.14577; ARXIV: 2303.14577
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Applied Category Theory (ACT) ; https://hal.univ-grenoble-alpes.fr/hal-04087851 ; Applied Category Theory (ACT), 2023, Maryland, United States. pp.20-38, ⟨10.4204/EPTCS.397.2⟩
Schlagwörter: Algebraic graph transformations, synchronous parallel rewriting, categories of rules, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems/F.4.2.2: Parallel rewriting systems (e.g., developmental systems, L-systems), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geographisches Schlagwort: Maryland, United States
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics - System Demos ; EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161 ; EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics, Association for Computational Linguistics, May 2023, Dubrovnic, Croatia. pp.128-135, ⟨10.48550/arXiv.2302.12050⟩ ; https://2023.eacl.org/
Schlagwörter: Computation and Language, Artificial Intelligence, Machine Learning, Logic in Computer Science, FOS: Computer and information sciences, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.12050; ARXIV: 2302.12050
-
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Lecture Notes in Computer Science ; Logic, Language, Information, and Computation ; https://hal.science/hal-05285182 ; Logic, Language, Information, and Computation, Jul 2025, Porto, Portugal. pp.175-193, ⟨10.1007/978-3-031-99536-1_11⟩
Schlagwörter: Temporal Logic, Scott Domains, Refinement TYpes, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, [INFO]Computer Science [cs]
Time: Porto, Portugal
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2502.11917; ARXIV: 2502.11917
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 2211-3568.
Schlagwörter: overt choice, quasi-Polish space, Weihrauch degree, represented space, computable analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: WODES 2022 - 16th IFAC Workshop on Discrete Event Systems ; https://hal.science/hal-03777858 ; WODES 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-6
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.4: Operations on languages, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
Geographisches Schlagwort: Prague, Czech Republic
-
11
Autoren:
Weitere Verfasser:
Quelle: PFIA JIAF 2022 ; https://hal.science/hal-02120285 ; PFIA JIAF 2022, Jun 2022, Saint-Etienne, France
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [SCCO.COMP]Cognitive science/Computer science
Geographisches Schlagwort: Saint-Etienne, France
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Theoretical Computer Science. 744:56-77
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, inverse operators, [INFO.INFO-DC]Computer Science [cs]/Distributed, constraint systems, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], concurrent constraint programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, concurrency theory, 01 natural sciences, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Modal algebra, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, modal logic, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-01675010/file/final-tcs.pdf
https://inria.hal.science/hal-01675010v2
https://hal.inria.fr/hal-01675010
https://hal.inria.fr/hal-01675010/document
https://dblp.uni-trier.de/db/journals/tcs/tcs744.html#GuzmanPRV18
https://www.sciencedirect.com/science/article/pii/S0304397518303426
https://hal.archives-ouvertes.fr/hal-01675010v1 -
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Computational Logic. 19:1-24
Schlagwörter: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, Computer Science - Logic in Computer Science, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, recursive sets), 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.1: Classes defined by grammars or automata (e.g, resource-bounded), 03D15, 68Q15, 68Q55, 03D05, 03B47, 03F52, push-down, FOS: Mathematics, finite, 0101 mathematics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, context-free languages, regular sets, F.3.2, F.4.1, F.4.3, F.1.3, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Mathematics - Logic, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes/F.1.3.0: Complexity hierarchies, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes/F.1.3.1: Machine-independent complexity, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, Logic in Computer Science (cs.LO), [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Computer Science - Computational Complexity, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.0: Alternation and nondeterminism, Logic (math.LO)
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Automated Reasoning. 63:857-885
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.1: Computational logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, 01 natural sciences
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-01814006/file/hal.pdf
https://inria.hal.science/hal-01814006v1/document
https://doi.org/10.1007/s10817-018-9475-3
https://inria.hal.science/hal-01814006v1
https://hal.inria.fr/hal-01814006/document
https://dblp.uni-trier.de/db/journals/jar/jar63.html#HeathM19
https://hal.inria.fr/hal-01814006
https://link.springer.com/article/10.1007/s10817-018-9475-3 -
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: POPL 2020 ; https://hal.science/hal-02357025 ; POPL 2020, Jan 2020, New Orleans, Louisiana, United States
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geographisches Schlagwort: New Orleans, Louisiana, United States
-
16
Autoren:
Weitere Verfasser:
Quelle: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-02859846 ; Logical Methods in Computer Science, 2021, 17 (3), pp. 21:1-21:22
Schlagwörter: Curry-Howard correspondence, set theory, combinatory logic, lambda-calculus, axiom of choice, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.9: Set theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Handbook of Computable Analysis ; https://inria.hal.science/hal-02938919 ; Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩
Schlagwörter: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: LICS 2021 - 36th Annual Symposium on Logic in Computer Science ; https://inria.hal.science/hal-03144849 ; LICS 2021 - 36th Annual Symposium on Logic in Computer Science, Jun 2021, Rome / Virtual, Italy ; http://easyconferences.eu/lics2021/
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Geographisches Schlagwort: Rome / Virtual, Italy
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.08951; ARXIV: 2105.08951
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 104-117 (2019)
Schlagwörter: Computer Science - Logic in Computer Science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], QA75.5-76.95, 0102 computer and information sciences, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, 16. Peace & justice, 01 natural sciences, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Electronic computers. Computer science, QA1-939, F.4.1, 0101 mathematics, Mathematics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-02103517 ; 2023.
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Nájsť tento článok vo Web of Science 
Full Text Finder