Suchergebnisse - "Logic and constraint programming"
-
1
Autoren:
Quelle: HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) | 28 Mar 2021 | Luxemburgo
Archivo Digital UPM
Universidad Politécnica de Madrid
Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 2
instnameSchlagwörter: Fixpoint algorithms, Informática, I.2.2, FOS: Computer and information sciences, I.2.3, D.2.4, F.3.1, Computer Science - Programming Languages, Incremental analysis, Program analysis, Abstract interpretation, Logic and constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Modular analysis, 0202 electrical engineering, electronic engineering, information engineering, Constrained Horn clauses, Programming Languages (cs.PL)
Dateibeschreibung: application/pdf
Zugangs-URL: http://arxiv.org/pdf/1804.01839
http://arxiv.org/abs/1804.01839
https://oa.upm.es/70154/
https://oa.upm.es/70098/
https://www.cambridge.org/core/journals/theory-and-practice-of-logic -programming /article/incremental-and-modular-contextsensitive-analysis/E4123610FEF4488AE3F983162746CA89
https://doi.org/10.1017/S1471068420000496
https://dblp.uni-trier.de/db/journals/tplp/tplp21.html#Garcia-Contreras21
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E4123610FEF4488AE3F983162746CA89/S1471068420000496a.pdf/div-class-title-incremental-and-modular-context-sensitive-analysis-div.pdf
https://arxiv.org/abs/1804.01839
https://arxiv.org/pdf/1804.01839 -
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 6
Archivo Digital UPM
instname
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
Universidad Politécnica de MadridSchlagwörter: Informática, FOS: Computer and information sciences, Program development environments, Computer Science - Programming Languages, On-the-fly assertion checking, Incremental analysis, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, Logic and constraint programming, 02 engineering and technology, Static analysis, Programming Languages (cs.PL)
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
Quelle: Mathematical Structures in Computer Science. 29:1125-1150
Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], type theory, higher order constraint logic programming, logic programming, constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-01410567/file/dalefest.pdf
https://inria.hal.science/hal-01410567v3
https://dblp.uni-trier.de/db/journals/mscs/mscs29.html#GuidiCT19
https://hal.inria.fr/hal-01410567/document
https://hal.archives-ouvertes.fr/hal-01410567v3
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/implementing-type-theory-in-higher-order-constraint -logic -programming /AB210BBE8C489B129C8A09AFCB2B905F
https://hal.inria.fr/hal-01410567v2
http://journals.cambridge.org/action/displayJournal?jid=MSC
https://hdl.handle.net/11585/698621
https://doi.org/10.1017/S0960129518000427 -
4
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783030753320
Schlagwörter: Functional programming, logic programming, constraint programming, 5. Gender equality, 10. No inequality, 7. Clean energy, 3. Good health
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Quelle: https://hal.science/hal-02977750 ; 2022.
Schlagwörter: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, Realizability semantics, 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.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, 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.3: Logic and constraint programming, 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.04752; ARXIV: 2012.04752
-
6
Autoren: Marija Kulas
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 27-41 (2017)
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Mathematics, F.4.1 Logic and constraint programming, Logic in Computer Science (cs.LO)
Zugangs-URL: https://arxiv.org/pdf/1701.00624
http://arxiv.org/abs/1701.00624
https://doaj.org/article/23487415f29640dfa04d99b31fdd6c75
https://arxiv.org/abs/1701.00624
https://dblp.uni-trier.de/db/series/eptcs/eptcs234.html#Kulas17
https://doi.org/10.4204/EPTCS.234.3
https://arxiv.org/abs/1701.00624
http://ui.adsabs.harvard.edu/abs/2017arXiv170100624K/abstract
https://arxiv.org/pdf/1701.00624.pdf -
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-02895111 ; 2021.
Schlagwörter: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, 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.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, 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.3: Logic and constraint programming, 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.16077; ARXIV: 2007.16077
-
8
Autoren:
Weitere Verfasser:
Quelle: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021.
Schlagwörter: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, Realizability semantics, 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.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, 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.3: Logic and constraint programming, 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.04752; hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750v6/document; https://hal.archives-ouvertes.fr/hal-02977750v6/file/main.pdf; ARXIV: 2012.04752
-
9
Autoren:
Weitere Verfasser:
Quelle: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021.
Schlagwörter: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, 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.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, 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.3: Logic and constraint programming, 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2012.04752; hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750v4/document; https://hal.archives-ouvertes.fr/hal-02977750v4/file/main.pdf; ARXIV: 2012.04752
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.archives-ouvertes.fr/hal-02895111 ; 2020.
Schlagwörter: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, 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.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, 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.3: Logic and constraint programming, 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.16077; hal-02895111; https://hal.archives-ouvertes.fr/hal-02895111; https://hal.archives-ouvertes.fr/hal-02895111v2/document; https://hal.archives-ouvertes.fr/hal-02895111v2/file/main-HAL.pdf; ARXIV: 2007.16077
-
11
Autoren:
Weitere Verfasser:
Quelle: https://hal.archives-ouvertes.fr/hal-02977750 ; 2020.
Schlagwörter: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, 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.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, 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.3: Logic and constraint programming, 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]
Relation: hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750; https://hal.archives-ouvertes.fr/hal-02977750v2/document; https://hal.archives-ouvertes.fr/hal-02977750v2/file/main.pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2017) ; https://hal.science/hal-01447818 ; International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2017), Jun 2017, Padova, Italy. pp.359-375 ; http://cpaior2017.dei.unipd.it/
Schlagwörter: Tree decomposition, Graphs, Integer linear programming, Constraint programming, Sum colouring problem, Colouring, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.4: Integer programming, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Geographisches Schlagwort: Italy
Time: Padova, Italy
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: JFPC 2016 – Douzièmes Journées Francophones de Programmation par Contraintes ; Douzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016) ; https://hal.science/hal-01309350 ; Douzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp.1-10 ; https://www.supagro.fr/jfpc_jiaf_2016/index_jfpc.php
Schlagwörter: complete approaches, variable choice heuristics, CSP, graphs, sum colouring, approches complètes, somme coloration, graphes, heuristiques de choix de variables, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.0: Constrained optimization, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Geographisches Schlagwort: Montpellier, France
-
14
Autoren: et al.
Schlagwörter: Ciencias Informáticas, programación entera, Logic and constraint programming
Dateibeschreibung: application/pdf
Verfügbarkeit: http://sedici.unlp.edu.ar/handle/10915/58470
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 22nd International Conference on the Principles and Practice of Constraint Programming ; CP16 - 22nd International Conference on the Principles and Practice of Constraint Programming ; https://hal.science/hal-01828389 ; CP16 - 22nd International Conference on the Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.18, ⟨10.1007/978-3-319-44953-1_46⟩
Schlagwörter: PROTEIN DESIGN, MAX-SAT, ELIMINATION, OPTIMIZATION, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [STAT.AP]Statistics [stat]/Applications [stat.AP], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: info:eu-repo/grantAgreement/EC/FP7/267196/EU/International Mobility Programme to Strengthen Skills and Excellence in Research for Agriculture/AGREENSKILLS; hal-01828389; https://hal.science/hal-01828389; https://hal.science/hal-01828389/document; https://hal.science/hal-01828389/file/CP2016.pdf; PRODINRA: 383299; WOS: 000389019700047
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Computational Logic
Schlagwörter: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, ω-categoricity, Discrete Mathematics (cs.DM), Mathematics - Logic, 0102 computer and information sciences, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Computational Complexity (cs.CC), semi-lattice operations, 01 natural sciences, Computational complexity, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Computer Science - Computational Complexity, Mathematical Logic—Logic and constraint programming, FOS: Mathematics, F.4.1, Model theory, Theory, 0101 mathematics, constraint satisfaction problems, Logic (math.LO), Algorithms, Computer Science - Discrete Mathematics
Zugangs-URL: http://arxiv.org/pdf/1111.6616
http://arxiv.org/abs/1111.6616
https://arxiv.org/abs/1111.6616
https://dl.acm.org/doi/10.1145/2528933
https://core.ac.uk/display/23555794
https://hal.archives-ouvertes.fr/hal-00756929/document
https://hal.archives-ouvertes.fr/hal-00756929
https://arxiv.org/pdf/1111.6616v1 -
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
https://inria.hal.science/hal-01256984
17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩Schlagwörter: Mobility, Space, Extrusion, Utterance, Social Networks, Lies, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ROADEF'15 - 16ème congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision ; https://hal.science/hal-01109049 ; ROADEF'15 - 16ème congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2015, Marseille, France
Schlagwörter: Container Relocation Problem, Programmation par contraintes, Programmation linéaire en Nombres Entiers, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.4: Integer programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 172:399-436
Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Dependent-type systems, Lambda calculus, Logical Framework, Logics, Pattern matching, Logic and constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Formal Definitions and Theory: Syntax and Semantics, Theoretical Computer Science, Lambda calculus and related systems, Constraint and logic languages Category, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Language Classifications: Applicative (functional) languages, 0202 electrical engineering, electronic engineering, information engineering, Mechanical theorem proving, Computer Science(all)
Dateibeschreibung: application/pdf
Zugangs-URL: https://inria.hal.science/hal-01148312v1/document
https://doi.org/10.1016/j.entcs.2007.02.014
https://inria.hal.science/hal-01148312v1
https://hal.inria.fr/hal-01148312/document
https://dblp.uni-trier.de/db/journals/entcs/entcs172.html#HonsellLL07
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/Plotkin.pdf
https://hal.inria.fr/inria-00088809
https://users.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/plo07.pdf
https://www.sciencedirect.com/science/article/pii/S1571066107000862 -
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01759945 ; [Technical Report] LIRMM (UM, CNRS); Université de Montpellier. 2018.
Schlagwörter: Logic programming, Deductive parsing, Categorial grammar, Type-logical grammar, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, 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.3: Logic programming, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing/I.2.7.3: Language parsing and understanding, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1804.02286; ARXIV: 1804.02286
Full Text Finder 
Nájsť tento článok vo Web of Science