-
1Conference
Contributors: Facultad de Informatica, Universidad Complutense de Madrid = Complutense University of Madrid Madrid (UCM), Proof-oriented development of computer-based systems (MOSEL), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Technische Universität München
Source: 22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009
https://inria.hal.science/inria-00408964
22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009, Technische Universität München, Aug 2009, Munich, GermanySubject Terms: theorem proving, Isabelle, higher-order logic, functional-logic programming, CRWL logic, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0908.0494; ARXIV: 0908.0494
-
2Conference
Contributors: Facultad de Informatica, Universidad Complutense de Madrid = Complutense University of Madrid Madrid (UCM), Proof-oriented development of computer-based systems (MOSEL), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP), Technische Universität München
Source: 22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009
https://hal.inria.fr/inria-00408964
22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009, Technische Universität München, Aug 2009, Munich, GermanySubject Terms: theorem proving, Isabelle, higher-order logic, functional-logic programming, CRWL logic, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0908.0494; inria-00408964; https://hal.inria.fr/inria-00408964; https://hal.inria.fr/inria-00408964/document; https://hal.inria.fr/inria-00408964/file/trends09final.pdf; ARXIV: 0908.0494
-
3Conference
Authors: Despeyroux, Thierry
Contributors: Usage-centered design, analysis and improvement of information systems (AxIS), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria), International World Wide Web Conference Committee and Association for Computing Machinery
Source: 13th World Wide Web Conference
https://inria.hal.science/inria-00000421
13th World Wide Web Conference, International World Wide Web Conference Committee and Association for Computing Machinery, May 2004, New York City/USASubject Terms: knowledge management, Web engineering, content management, quality, XML, Web site evolution, information system, web sites, logic programming, formal semantics, consistency, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING/I.7.2: Document Preparation, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.IR/0510025; ARXIV: cs.IR/0510025
-
4Conference
Authors: Despeyroux, Thierry
Contributors: Usage-centered design, analysis and improvement of information systems (AxIS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria), International World Wide Web Conference Committee and Association for Computing Machinery
Source: 13th World Wide Web Conference
https://hal.inria.fr/inria-00000421
13th World Wide Web Conference, International World Wide Web Conference Committee and Association for Computing Machinery, May 2004, New York City/USASubject Terms: consistency, formal semantics, logic programming, web sites, information system, knowledge management, content management, quality, XML, Web site evolution, Web engineering, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING/I.7.2: Document Preparation, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.IR/0510025; inria-00000421; https://hal.inria.fr/inria-00000421; https://hal.inria.fr/inria-00000421/document; https://hal.inria.fr/inria-00000421/file/p354-despeyroux.pdf; ARXIV: cs.IR/0510025
-
5Academic Journal
Authors: Leroy, Xavier
Contributors: Programming languages, types, compilation and proofs (GALLIUM), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source: Les Cahiers de l'INRIA - La Recherche ; https://inria.hal.science/inria-00511377 ; Les Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Subject Terms: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
6Academic Journal
Authors: Leroy, Xavier
Contributors: Programming languages, types, compilation and proofs (GALLIUM), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source: Les Cahiers de l'INRIA - La Recherche ; https://hal.inria.fr/inria-00511377 ; Les Cahiers de l'INRIA - La Recherche, INRIA, 2010, Cancer la révolution
Subject Terms: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: inria-00511377; https://hal.inria.fr/inria-00511377; https://hal.inria.fr/inria-00511377/document; https://hal.inria.fr/inria-00511377/file/inria-n440-avril10.pdf
-
7Conference
Contributors: Facultad de Informatica, Universidad Complutense de Madrid = Complutense University of Madrid Madrid (UCM), Proof-oriented development of computer-based systems (MOSEL), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP), Technische Universität München
Source: 22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009
https://hal.inria.fr/inria-00408964
22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009, Technische Universität München, Aug 2009, Munich, GermanySubject Terms: theorem proving, Isabelle, higher-order logic, functional-logic programming, CRWL logic, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], phil, edu
Relation: https://hal.inria.fr/inria-00408964/file/trends09final.pdf; https://hal.inria.fr/inria-00408964
-
8Conference
Authors: Ducassé, Mireille
Contributors: Logical Information Systems (LIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Source: European Conference on Artificail Intelligence ; https://inria.hal.science/hal-00756847 ; European Conference on Artificail Intelligence, 1988, Munich, Germany
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Availability: https://inria.hal.science/hal-00756847
-
9Conference
Authors: Ducassé, Mireille
Contributors: Logical Information Systems (LIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Source: European Conference on Artificail Intelligence ; https://inria.hal.science/hal-00756847 ; European Conference on Artificail Intelligence, 1988, Munich, Germany
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Availability: https://inria.hal.science/hal-00756847
-
10Conference
Authors: Ducassé, Mireille
Contributors: Logical Information Systems (LIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Source: European Conference on Artificail Intelligence ; https://inria.hal.science/hal-00756847 ; European Conference on Artificail Intelligence, 1988, Munich, Germany
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Availability: https://inria.hal.science/hal-00756847
-
11Conference
Authors: Ducassé, Mireille
Contributors: Logical Information Systems (LIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)
Source: European Conference on Artificail Intelligence ; https://hal.inria.fr/hal-00756847 ; European Conference on Artificail Intelligence, 1988, Munich, Germany
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-00756847; https://hal.inria.fr/hal-00756847
Availability: https://hal.inria.fr/hal-00756847