• Refine your search:
  • 
    Keyword:
    
    • 004 (3)
    • Réécriture (3)
    • Rewriting (2)
    • [INFO.INFO-OH]Computer Science [cs] / Other [cs.OH] (2)
    • calcul de réécriture (2)
    • filtrage (2)
    • lambda calcul (2)
    • matching (2)
    • rewriting (2)
    • réécriture (2)
    •   more
  • 
    Creator / Publisher:
    
    • Kirchner, Claude (12)
    • UHP - Université Henri Poincaré (4)
    • Cirstea, Horatiu (3)
    • Constraints, automatic deduction and software properties proofs (PROTHEO) (3)
    • INRIA Lorraine (3)
    • 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) (3)
    • INPL - Institut National Polytechnique de Lorraine (2)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (2)
    • 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) (2)
    • Moreau, Pierre-Etienne (2)
    •   more
  • 
    Year:
    
    • 2016 (1)
    • 2011 (1)
    • 2009 (1)
    • 2008 (1)
    • 2003 (3)
    • 2002 (1)
    • 2001 (2)
    • 2000 (1)
    • 1994 (1)
  • 
    Medium
  • 
    Type:
    
    • Book (6)
    • Article (4)
    • Miscellaneous (2)
  • 
    BLLDB-Access:
    • free (12)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 12 of 12 1 Open Access in Japan – a multi-institutional perspective Baeten, Jos; Estraillier, Pascal; Kirchner, Claude... In: https://hal.archives-ouvertes.fr/hal-01290936 ; [Research Report] Ambassade de France au Japon. 2016 (2016) BASE Show details 2 Terminaison à base de tailles : sémantique et généralisations ; Size-based termination: Semantics and generalizations Roux, Cody. - 2011 BASE Show details 3 Conception d'un langage dédié à l'analyse et la transformation de programmes ; Design of a programming language dedicated to program analysis and transformation Balland, Emilie. - 2009 BASE Show details 4 Contraintes d'anti-filtrage et programmation par réécriture ; Anti-matching constraints and programming with rewrite rules Köpetz, Radu. - 2008 BASE Show details 5 Theorem Proving Modulo Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 31 (2003) 1, 33-72 OLC Linguistik Show details 6 Pure Patterns Type Systems Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude... In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://hal.inria.fr/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩ (2003) BASE Show details 7 Certified reasoning on real numbers and objects in co-inductive type theory ; Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs Ciaffaglione, Alberto. - 2003 BASE Show details 8 External Rewriting for Skeptical Proof Assistants Nguyen, Quang Huy; Kirchner, Claude; Kirchner, Hélène In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 29 (2002) 3, 309-336 OLC Linguistik Show details 9 The Rewriting Calculus - Part I Cirstea, Horatiu; Kirchner, Claude In: ISSN: 1367-0751 ; EISSN: 1368-9894 ; Logic Journal of the IGPL ; https://hal.inria.fr/inria-00100531 ; Logic Journal of the IGPL, Oxford University Press (OUP), 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩ (2001) BASE Show details 10 Xemantics: a Rewriting Calculus-Based Semantics of XSLT Kirchner, Claude; Qian, Zhebin; Singh, Preet Kamal... In: https://hal.inria.fr/inria-00107547 ; [Intern report] A01-R-386 || kirchner01c, 2001, 50 p (2001) BASE Show details 11 Calcul de réécriture : fondements et applications Cirstea, Horatiu. - 2000 BASE Show details 12 ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes ; ELAN: a logical framework for prototyping logic programming languages with constraints Vittek, Marian. - 1994 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 2 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 10 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0