Search Results - (("logic and constraint programming") OR ("login and constraint programming"))
-
1
Authors:
Source: 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
instnameSubject Terms: 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)
File Description: application/pdf
Access 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
Authors: et al.
Contributors: et al.
Source: 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 MadridSubject Terms: 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)
File Description: application/pdf
-
3
Authors:
Contributors:
Source: https://hal.science/hal-02977750 ; 2022.
Subject Terms: 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
-
4
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-02895111 ; 2021.
Subject Terms: 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
-
5
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021.
Subject Terms: 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
-
6
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021.
Subject Terms: 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
-
7
Authors:
Contributors:
Source: Mathematical Structures in Computer Science. 29:1125-1150
Subject Terms: [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
File Description: application/pdf
Access 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 -
8
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030753320
Subject Terms: Functional programming, logic programming, constraint programming, 5. Gender equality, 10. No inequality, 7. Clean energy, 3. Good health
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-02895111 ; 2020.
Subject Terms: 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
-
10
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-02977750 ; 2020.
Subject Terms: 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
-
11
Authors: et al.
Contributors: et al.
Source: 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/
Subject Terms: 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]
Subject Geographic: Italy
Time: Padova, Italy
-
12
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: Montpellier, France
-
13
Authors: et al.
Subject Terms: Ciencias Informáticas, programación entera, Logic and constraint programming
File Description: application/pdf
Availability: http://sedici.unlp.edu.ar/handle/10915/58470
-
14
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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
-
15
Authors: Marija Kulas
Source: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 27-41 (2017)
Subject Terms: 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)
Access 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 -
16
Authors: et al.
Contributors: et al.
Source: 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⟩Subject Terms: 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]
-
17
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
-
18
Authors: et al.
Contributors: et al.
Source: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01759945 ; [Technical Report] LIRMM (UM, CNRS); Université de Montpellier. 2018.
Subject Terms: 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
-
19
Authors: et al.
Contributors: et al.
Source: https://hal.science/tel-04179276 ; Logic in Computer Science [cs.LO]. Université Sorbonne Paris Nord, 2023. English. ⟨NNT : ⟩.
Subject Terms: linear logic, transcendental syntax, model of computation, logic, semantics, realizability, geometry of interaction, proof nets, proof theory, term unification, logic programming, logique linéaire, syntaxe transcendantale, modèle de calcul, logique, sémantique, réalisabilité, géométrie de l'interaction, réseaux de preuve, théorie de la démonstration, unification de termes, programmation logique, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, 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.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, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: tel-04179276; https://hal.science/tel-04179276; https://hal.science/tel-04179276/document; https://hal.science/tel-04179276/file/main.pdf
-
20
Authors: et al.
Contributors: et al.
Source: JFPC ; https://hal.science/hal-01074521 ; JFPC, Jun 2014, Angers, France
Subject Terms: 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], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Full Text Finder 
Nájsť tento článok vo Web of Science