Výsledky vyhľadávania - "ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES"

Petri-Netze: Theorie und Implementierung ; Petri nets: Theory and implementation ; Réseaux de Petri : Théorie et mise en oeuvre

Autori: Delfieu, David Roux, Olivier Henri Valette, Robert a ďalší

Prispievatelia: Delfieu, David Roux, Olivier Henri Valette, Robert a ďalší

Zdroj: 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/

Predmety: 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]

Dostupnosť: https://hal.science/hal-05069404
https://hal.science/hal-05069404v1/document
https://hal.science/hal-05069404v1/file/main_ti.pdf
https://doi.org/10.51257/a-v2-s7254

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

Autori: Kogkalidis, Konstantinos Moortgat, Michael Moot, Richard a ďalší

Prispievatelia: Kogkalidis, Konstantinos Moortgat, Michael Moot, Richard a ďalší

Zdroj: 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/

Predmety: 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]

Geografické téma: Dubrovnic, Croatia

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.12050; ARXIV: 2302.12050

Dostupnosť: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04290161v1/file/eacl2023.pdf
https://doi.org/10.48550/arXiv.2302.12050

Modelling a faillibilistic and perspectivistic reasoning

Autori: Kohler, Arnaud Aix Marseille Université (AMU)

Prispievatelia: Kohler, Arnaud Aix Marseille Université (AMU)

Zdroj: PFIA JIAF 2022 ; https://hal.science/hal-02120285 ; PFIA JIAF 2022, Jun 2022, Saint-Etienne, France

Predmety: 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

Geografické téma: Saint-Etienne, France

Dostupnosť: https://hal.science/hal-02120285
https://hal.science/hal-02120285v6/document
https://hal.science/hal-02120285v6/file/Modelling%20a%20faillibilistic%20and%20perspectivistic%20reasoning.pdf

Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?

Autori: Moot, Richard Exploration et exploitation de données textuelles (LIRMM Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) a ďalší

Prispievatelia: Moot, Richard Exploration et exploitation de données textuelles (LIRMM Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) a ďalší

Zdroj: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668 ; 2023.

Predmety: Model theoretic syntax, Lambek calculus, Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, 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], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Dostupnosť: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04285668v1/file/MTS.pdf

Pattern eliminating transformations

Autori: Cirstea, Horatiu Lermusiaux, Pierre Moreau, Pierre-Etienne a ďalší

Prispievatelia: Cirstea, Horatiu Lermusiaux, Pierre Moreau, Pierre-Etienne a ďalší

Zdroj: LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation ; https://inria.hal.science/hal-02476012 ; LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy

Predmety: Pattern semantics, Pattern-matching, Rewriting, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Bologna, Italy

Dostupnosť: https://inria.hal.science/hal-02476012
https://inria.hal.science/hal-02476012v3/document
https://inria.hal.science/hal-02476012v3/file/main.pdf

Characterizing right inverses for spatial constraint systems with applications to modal logic

Autori: Guzmán, Michell Perchy, Salim Rueda, Camilo a ďalší

Prispievatelia: Guzmán, Michell Perchy, Salim Rueda, Camilo a ďalší

Zdroj: Theoretical Computer Science. 744:56-77

Predmety: 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]

Popis súboru: application/pdf

Prístupová URL adresa: 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

Observational and behavioural equivalences for soft concurrent constraint programming

Autori: Fabio Gadducci Luis Fernando Pino Francesco Santini a ďalší

Prispievatelia: Fabio Gadducci Luis Fernando Pino Francesco Santini a ďalší

Zdroj: Journal of Logical and Algebraic Methods in Programming. 92:45-63

Predmety: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics

Prístupová URL adresa: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231

Concurrent secrets with quantified suspicion

Autori: Hélouët, Loïc Marchand, Hervé Mullins, John a ďalší

Prispievatelia: Hélouët, Loïc Marchand, Hervé Mullins, John a ďalší

Zdroj: ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design ; https://inria.hal.science/hal-01757949 ; ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15

Predmety: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Bratislava, Slovakia

Dostupnosť: https://inria.hal.science/hal-01757949
https://inria.hal.science/hal-01757949v1/document
https://inria.hal.science/hal-01757949v1/file/HMMSuspicious.pdf

Separating without any ambiguity

Autori: Place, Thomas Zeitoun, Marc Laboratoire Bordelais de Recherche en Informatique (LaBRI) a ďalší

Prispievatelia: Place, Thomas Zeitoun, Marc Laboratoire Bordelais de Recherche en Informatique (LaBRI) a ďalší

Zdroj: LIPICS ; 45th International Colloquium on Automata, Languages and Programming, ICALP 2018 ; https://hal.archives-ouvertes.fr/hal-01798847 ; 45th International Colloquium on Automata, Languages and Programming, ICALP 2018, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018⟩

Predmety: Regular languages, Separation problem, Decidable characterizations, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Prague, Czech Republic

Relation: hal-01798847; https://hal.archives-ouvertes.fr/hal-01798847; https://hal.archives-ouvertes.fr/hal-01798847/document; https://hal.archives-ouvertes.fr/hal-01798847/file/upol.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/hal-01798847
https://hal.archives-ouvertes.fr/hal-01798847/document
https://hal.archives-ouvertes.fr/hal-01798847/file/upol.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2018

An Analytic Calculus for the Intuitionistic Logic of Proofs

Autori: Hill, Brian Poggiolesi, Francesca Groupement de Recherche et d'Etudes en Gestion à HEC (GREGH) a ďalší

Prispievatelia: Hill, Brian Poggiolesi, Francesca Groupement de Recherche et d'Etudes en Gestion à HEC (GREGH) a ďalší

Zdroj: ISSN: 0029-4527 ; Notre Dame Journal of Formal Logic ; https://hal.science/hal-01621420 ; Notre Dame Journal of Formal Logic, 2019, 60, pp.353-393.

Predmety: normalisation, logic of proofs, cut-elimination, proof sequents, 2010 MSC: 03F05 ,03B60, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods/I.2.4.1: Modal logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [SHS.PHIL]Humanities and Social Sciences/Philosophy, [INFO]Computer Science [cs]

Relation: https://doi.org/10.1215/00294527-2019-0008

Dostupnosť: https://hal.science/hal-01621420
https://hal.science/hal-01621420v1/document
https://hal.science/hal-01621420v1/file/alp7%20%281%29.pdf

Combining logical and distributional methods in type-logical grammars

Autori: Moot, Richard Exploration et exploitation de données textuelles (TEXTE) Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) a ďalší

Prispievatelia: Moot, Richard Exploration et exploitation de données textuelles (TEXTE) Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) a ďalší

Zdroj: ISSN: 2299-856X.

Predmety: Lambek calculus, Theorem proving, Processing, Type-logical grammar, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Dostupnosť: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651508
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651508v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651508v1/file/231-1676-1-PB.pdf
https://doi.org/10.15398/jlm.v6i2.231

A functional (Monadic) second-order theory of infinite trees

Autori: Das, Anupam Riba, Colin University of Birmingham Birmingham a ďalší

Prispievatelia: Das, Anupam Riba, Colin University of Birmingham Birmingham a ďalší

Zdroj: https://hal.science/hal-02067267 ; 2020.

Predmety: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnosť: https://hal.science/hal-02067267
https://hal.science/hal-02067267v2/document
https://hal.science/hal-02067267v2/file/fsomso.pdf

Generating Distributed Programs from Event-B Models

Autori: Cirstea, Horatiu Grall, Alexis Méry, Dominique a ďalší

Prispievatelia: Cirstea, Horatiu Grall, Alexis Méry, Dominique a ďalší

Zdroj: https://inria.hal.science/hal-02572971 ; [Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36.

Predmety: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Dostupnosť: https://inria.hal.science/hal-02572971
https://inria.hal.science/hal-02572971v1/document
https://inria.hal.science/hal-02572971v1/file/technicalreport.pdf

Proof-theoretic aspects of NLλ

Autori: Moot, Richard Exploration et exploitation de données textuelles (TEXTE) Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) a ďalší

Prispievatelia: Moot, Richard Exploration et exploitation de données textuelles (TEXTE) Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) a ďalší

Zdroj: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020.

Predmety: Proof theory, Lambda calculus, Type-logical grammars, Lambek Calculus, Proof nets, Graph rewriting, 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/2010.12223; ARXIV: 2010.12223

Dostupnosť: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980v1/file/nllam.pdf

The contextual logic ; La logique contextuelle

Autori: Kohler, Arnaud Aix Marseille Université (AMU)

Prispievatelia: Kohler, Arnaud Aix Marseille Université (AMU)

Zdroj: https://hal.archives-ouvertes.fr/hal-02120285 ; 2020.

Predmety: 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

Relation: hal-02120285; https://hal.archives-ouvertes.fr/hal-02120285; https://hal.archives-ouvertes.fr/hal-02120285v5/document; https://hal.archives-ouvertes.fr/hal-02120285v5/file/La%20logique%20contextuelle.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/hal-02120285
https://hal.archives-ouvertes.fr/hal-02120285v5/document
https://hal.archives-ouvertes.fr/hal-02120285v5/file/La%20logique%20contextuelle.pdf

Alignment-Based Trace Clustering

Autori: Chatain, Thomas Carmona, Josep van Dongen, Boudewijn, F. a ďalší

Prispievatelia: Chatain, Thomas Carmona, Josep van Dongen, Boudewijn, F. a ďalší

Zdroj: LNCS ; ER 2017 - 36th International Conference on Conceptual Modeling ; https://inria.hal.science/hal-01664235 ; ER 2017 - 36th International Conference on Conceptual Modeling, Nov 2017, Valencia, Spain. pp.295-308, ⟨10.1007/978-3-319-69904-2_24⟩ ; http://er2017.pros.webs.upv.es/

Predmety: ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.3: Information Search and Retrieval/H.3.3.0: Clustering, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Valencia, Spain

Dostupnosť: https://inria.hal.science/hal-01664235
https://inria.hal.science/hal-01664235v1/document
https://inria.hal.science/hal-01664235v1/file/CCV-er17.pdf
https://doi.org/10.1007/978-3-319-69904-2_24

Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality

Autori: van Dongen, Boudewijn, F. Carmona, Josep Chatain, Thomas a ďalší

Prispievatelia: van Dongen, Boudewijn, F. Carmona, Josep Chatain, Thomas a ďalší

Zdroj: LNCS ; CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering ; https://inria.hal.science/hal-01664240 ; CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering, Jun 2017, Essen, Germany. pp.94-109, ⟨10.1007/978-3-319-59536-8_7⟩ ; http://caise2017.paluno.de/welcome/

Predmety: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Essen, Germany

Dostupnosť: https://inria.hal.science/hal-01664240
https://inria.hal.science/hal-01664240v1/document
https://inria.hal.science/hal-01664240v1/file/VCCT-caise17.pdf
https://doi.org/10.1007/978-3-319-59536-8_7

Definability by Horn formulas and linear time on cellular automata

Autori: Bacquey, Nicolas Grandjean, Etienne Olive, Frédéric a ďalší

Prispievatelia: Bacquey, Nicolas Grandjean, Etienne Olive, Frédéric a ďalší

Zdroj: ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming ; https://hal.science/hal-01494246 ; ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩ ; https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16038

Predmety: Horn formulas, linear time, picture languages, local induction, descriptive complexity, logic programming, cellular automata of any dimension, second-order logic, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Warsaw, Poland

Dostupnosť: https://hal.science/hal-01494246
https://hal.science/hal-01494246v2/document
https://hal.science/hal-01494246v2/file/0.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2017.99

Combinatorial Flows and their Normalisation

Autori: Strassburger, Lutz Proof search and reasoning with logic specifications (PARSIFAL) Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a ďalší

Prispievatelia: Strassburger, Lutz Proof search and reasoning with logic specifications (PARSIFAL) Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a ďalší

Zdroj: FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-01635931 ; FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction, Sep 2017, Oxford, United Kingdom. pp.311 - 3117, ⟨10.4230/LIPIcs.FSCD.2017.31⟩

Predmety: proof equivalence, cut elimination, deep inference, substitution, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Oxford, United Kingdom

Dostupnosť: https://inria.hal.science/hal-01635931
https://inria.hal.science/hal-01635931v1/document
https://inria.hal.science/hal-01635931v1/file/comproofcom-finalforFSCD17.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2017.31

Plugging-in Proof Development Environments using Locks in LF

Autori: Honsell, Furio Liquori, Luigi Maksimovic, Petar a ďalší

Prispievatelia: Honsell, Furio Liquori, Luigi Maksimovic, Petar a ďalší

Zdroj: ISSN: 0960-1295.

Predmety: MSCS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: info:eu-repo/grantAgreement//COST Action CA15123 /EU/The European research network on types for programming and verification /EUTYPES

Dostupnosť: https://inria.hal.science/hal-01272647
https://inria.hal.science/hal-01272647v1/document
https://inria.hal.science/hal-01272647v1/file/MSCS2016.pdf