Miranda in Isabelle

Hill, S.; Thompson, S.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Linear Logic in Isabelle

Kalvala, S.; De Paiva, V.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Window Inference in Isabelle

Staples, M.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Annotation issues in Isabelle

Kalvala, S.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Isabelle/HOL : a proof assistant for higher-order logic

Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

Barendregt's Lambda-Cube in Isabelle

Benini, M.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

A Comparison of HOL-ST and Isabelle/ZF

Agerholm, S.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Quenched! The ISABELLE Saga, I

Crease, Robert
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

Quenched! The ISABELLE Saga, II

Crease, Robert
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

Nominal Techniques in Isabelle/HOL

Urban, Christian
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

FSO in Isabelle: Adding Structure at the Metalevel

Matthews, S.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Modeling a Hardware Synthesis Methodology in Isabelle

Friedrich, Stefan; Basin, David
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

Coding Binding and Substitution Explicitly in Isabelle

Owens, C.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

The Odd Couple - That Sweet Enemy: That Sweet Enemy: he French and the British by Robert and Isabelle Tombs. By Robert and Isabelle

Tombs, J. B.
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

Structured Presentation of Formal Proofs - Experiments with Isabelle

Kammueller, F.; Keller, G.; Simons, M.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

On the Representation of Datatypes in Isabelle/HOL

Voelker, N.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Type Inference Verified: Algorithm W in Isabelle/HOL

Nipkow, Tobias; Naraschewski, Wolfgang
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

Towards program development, specification and verification with Isabelle

Bednarczyk, M. A.; Borzyszkowski, T.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Proceedings of the 1977 ISABELLE Summer Workshop, July 18 - 29, 1977

1978-01-01

German National Library of Science and Technology (GetInfo) (German)

2010/C 148/04 Case C-73/08: Judgment of the Court (Grand Chamber) of 13 April 2010 (reference for a preliminary ruling from the Cour constitutionnelle - Belgium) - Nicolas Bressol, Anthony Wolf, Cedric Helie, Valerie Jabot, Claude Keusterickx, Denis Wilmet, Charlene Meurou, David Bacquart, Ayhar Gabriel Arslan, Yves Busegnies, Serge Clement, Sabine Gelaes, Etienne Dubuisson, Caroline Kinet, Dominique Peeters, Robert Lontie, Yannick Homerin, Isabelle Pochet, Walid Salem, Karin Van Loon, Olivier Leduc, Annick Van Wallendael, Dorothee Van Eecke, Olivier Ducruet, Celine Hinck, Nicole Arpigny, Eric De Gunsch, Thibaut De Mesmaeker, Mikel Ezquer, Constantino Balestra, Philippe Delince, Madeleine Merche, Jean-Pierre Saliez, Veronique de Mahieu, Muriel Alard, Danielle Collard, Pierre Castelein, Dominique De Crits, Andre Antoine, Christine Antierens, Brigitte Debert, Veronique Leloux, Patrick Parmentier, M. Simon, Celine Chaverot, Marine Guiet, Floriane Poirson, Laura Soumagne, Elodie Hamon, Benjamin Lombardet, Julie Mingant, Anne Simon, Anais Serrate, Sandrine Jadaud, Patricia Barbier, Laurence Coulon, Renee Hollestelle, Jacqueline Ghion, Pascale Schmitz, Sophie Thirion, Celine Vandeuren, Isabelle Compagnion v Gouvernement de la Communaute francaise (Citizenship of the Union - Articles 18 and 21 TFEU - Directive 2004/38/EC - Article 24(1) - Freedom to reside - Principle of non-discrimination - Access to higher education - Nationals of a Member State moving to another Member State in order to pursue studies there - Restriction on enrolment by non-resident students for university courses in the public health field - Justification - Proportionality - Risk to the quality of education in medical and paramedical matters - Risk of shortage of graduates in the public health sectors)

2010-01-01

German National Library of Science and Technology (GetInfo) (German)

Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book

Billingsley, William; Robinson, Peter
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

Biogeochemical investigations on sediment core MD04-2876, supplementary data to: Pichevin, Laetitia E; Bard, Edouard; Martinez, Philippe; Billy, Isabelle (2007): Evidence of ventilation changes in the Arabian Sea during the late Quaternary: Implication for denitrification and nitrous oxide emission. Global Biogeochemical Cycles, 21, GB4008

Pichevin, Laetitia E; Bard, Edouard; Martinez, Philippe
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

Phytol and phytyldiol concentrations at DYFAMED time series station and sediment trap, supplementary data to: Cuny, Philippe; Marty, Jean-Claude; Chiavérini, Jacques; Vescovali, Isabelle; Raphel, Danielle; Rontani, Jean-François (2002): One-year seasonal survey of the chlorophyll photodegradation process in the northwestern Mediterranean Sea. Deep-Sea Research Part II-Topical Studies in Oceanography, 49(11), 1987-2005

Cuny, Philippe; Marty, Jean-Claude; Chiavérini, Jacques
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

Proton-proton intersecting storage accelerator facility ISABELLE at the Brookhaven National Laboratory

Hahn, H.; Month, M.; Rau, R. R.
1977-01-01

German National Library of Science and Technology (GetInfo) (German)

Particulate organic carbon and nitrogen concentrations and fluxes at time series station DYNAPROC, supplementary data to: Goutx, Madeleine; Momzikoff, André; Striby, L; Andersen, Valérie; Marty, Jean-Claude; Vescovali, Isabelle (2000): High-frequency fluxes of labile compounds in the central Ligurian Sea, northwestern Mediterranean. Deep-Sea Research Part I-Oceanographic Research Papers, 47(3), 533-556

Goutx, Madeleine; Momzikoff, André; Striby, L
2000-01-01

German National Library of Science and Technology (GetInfo) (German)

Kinesin protocols

Vernos, Isabelle
2001-01-01

German National Library of Science and Technology (GetInfo) (German)

Target-Text Mediated Interactive Machine Translation

Foster, G.; Isabelle, P.; Plamondon, P.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Synthesis, functionalization and surface treatment of nanoparticles

Baraton, Marie-Isabelle
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

Das Bauhaus und Frankreich : 1919 - 1940 = Le Bauhaus et la France

Ewig, Isabelle; Gaehtgens, Thomas Wolfgang; Noell, Matthias
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

Fuzzy sets in interdisciplinary perception and intelligence : [... WILF 2005, the 6th International Workshop on Fuzzy Logic and Applications, held in Crema (Milan) on 15 - 17 September 2005]

Bloch, Isabelle
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

William's almanac : everything you ever wanted to know about video games

William, Jean-François
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

Verifying the SET Purchase Protocols

Paulson, Lawrence; Bella, Giampaolo; Massacci, Fabio
2006-01-01

German National Library of Science and Technology (GetInfo) (German)

Verified Bytecode Subroutines

Wildmoser, M.; Klein, G.
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

Verification of clock synchronization algorithms: experiments on a combination of deductive tools

Barsotti, Damián; Tiu, Alwen; Nieto, Leonor
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 ; proceedings

Qin, Shengchao
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants

Gothel, Thomas; Glesner, Sabine
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

The Proper Place of Men and Machines in Language Translation

Kay, M.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Termight: Coordinating Humans and Machines in Bilingual Terminology Acquisition

Dagan, I.; Church, K.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Tenth International Conference on Multiphoton Processes, 9–14 October 2005

Paul Corkum; Misha Ivanov; David Villeneuve
2006-01-01

German National Library of Science and Technology (GetInfo) (German)

Target residues from the interaction of copper with 90 MeV/nucleon Li6 ions

Whitfield, J. P.; Porile, N. T.
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

Special issue: DGCI 2008 : selected papers from the 14th IAPR International Conference on Discrete Geometry for Computer Imagery 2008 : [... was held in Lyon, France, April 16 - 18, 2008]

International Association for Pattern Recognition
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Some Notes on The Proper Place of Men and Machines in Language Translation

Melby, A.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Sensors for environment, health and security : advanced materials and technologies ; [proceedings of the NATO Advanced Study Institute on Sensors for Environment, Health and Security: Advanced Materials and Technologies, Vichy, France, 16 - 27 September 2007]

Advanced Study Institute on Sensors for Environment, Health and Security: Advanced Materials and Technologies < 2007, Vichy>; NATO / Science for Peace and Security Committee
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Semantics, calculi, and analysis for object-oriented specifications

Wolff, Burkhart; Brucker, Achim
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Proving the correctness of client/server software

Alkassar, Eyad; Paul, Wolfgang; Bogan, Sebastian
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Proving Fairness and Implementation Correctness of a Microkernel Scheduler

Dörrenbächer, Jan; Daum, Matthias; Wolff, Burkhart
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Proof Synthesis and Reflection for Linear Arithmetic

Nipkow, Tobias; Chaieb, Amine
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm

Blanchette, Jasmin
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Proceedings of the conference, 40th annual meeting of the Association for Computational Linguistics : Philadelphia, [6 - 13] July 2002, University of Pennsylvania, Philadelphia, Pennsylvania ; [Hauptbd.]: @

Association for Computational Linguistics; Association for Computational Linguistics / North American Chapter
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

Pollen record of sediment core MD95-2043, supplementary data to: Fletcher, William J; Sánchez Goñi, Maria Fernanda (2008): Orbital- and sub-orbital-scale climate impacts on vegetation of the western Mediterranean basin over the last 48,000 yr. Quaternary Research, 70(3), 451-464

Fletcher, William J; Sánchez Goñi, Maria Fernanda
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

Organizing Numerical Theories Using Axiomatic Type Classes

Paulson, Lawrence
2004-01-01

German National Library of Science and Technology (GetInfo) (German)

On Linear Decision Procedures

Zheng, B.; Paulson, L.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Ole Rasmussen

Paulson, L. C.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Novel organic material and technological advances for photonics : proceedings of symposium R of the 2001 E-MRS spring conference, Strasbourg, France, June 5 - 8, 2001

European Materials Research Society
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

New impact picture for low- and high-energy proton-proton elastic scattering

Bourrely, C.; Soffer, J.; Wu, Tai Tsun
1979-01-01

German National Library of Science and Technology (GetInfo) (German)

New impact picture for low- and high-energy proton-proton elastic scattering

Bourrely, C.; Soffer, J.; Wu, Tai Tsun
1979-01-01

German National Library of Science and Technology (GetInfo) (German)

Multilingual Document Production from Support for Translating to Support for Authoring

Hartley, A.; Paris, C.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

More Church–Rosser Proofs

Nipkow, Tobias
2001-01-01

German National Library of Science and Technology (GetInfo) (German)

Mechanising Set Theory: Cardinal Arithmetic and the Axiom of Choice

Paulson, L.; Grabczewski, K.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

MT Today: Emerging Roles, New Successes

Flanagan, M.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Low-mass parity restoration, weak-interaction phenomenology, and grand unification

Parida, M. K.; Raychaudhuri, A.
1982-01-01

German National Library of Science and Technology (GetInfo) (German)

Low-mass parity restoration, weak-interaction phenomenology, and grand unification

Parida, M. K.; Raychaudhuri, A.
1982-01-01

German National Library of Science and Technology (GetInfo) (German)

Left-right-symmetric gauge theory consistent with all experiments: A viable alternative to the Weinberg-Salam model

Sidhu, D. P.
1980-01-01

German National Library of Science and Technology (GetInfo) (German)

Left-right-symmetric gauge theory consistent with all experiments: A viable alternative to the Weinberg-Salam model

Sidhu, D. P.
1980-01-01

German National Library of Science and Technology (GetInfo) (German)

Lebensmittelsicherheit : Evaluation des Vollzugs in der Schweiz ; Anhang: Lebenmittelsicherheit: Evaluation von vier Produkten anhand exemplarischer Fallstudien : Studie im Auftrag der Parlamentarischen Verwaltungkontrollstelle

Parlamentarische Verwaltungskontrollstelle < Bern>
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

It's Still the Proper Place

Kay, M.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Interpretation of the Deductive Tableau in HOL

Ayari, A.; Basin, D.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler

Schulte, Wolfram; Moskal, Michał; Böhme, Sascha
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

Glossary-Based MT Engines in a Multilingual Analyst's Workstation Architecture

Zajac, R.; Vanni, M.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

Generating certified code from formal proofs: a case study in homological algebra

Rubio, Julio; Aransay, Jesús; Ballarin, Clemens
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

Generalized Helm Model for Transverse Electroexcitation of Nuclear Levels

Rosen, M.; Raphael, R.; Überall, H.
1967-01-01

German National Library of Science and Technology (GetInfo) (German)

Functional imaging and modeling of the heart : second international workshop, Lyon, France, June 5 - 6, 2003 ; proceedings

FIMH < 2, 2003, Lyon>
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

Formalization and Implementation of Modern SAT Solvers

Marić, Filip
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Formal verification of the Merchant Registration phase of the SET protocol

Cheng, Xiao-Chun; Ma, Xiao-Qi
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

Formal verification of the Merchant Registration phase of the SET protocol

Cheng, Xiao-Chun; Ma, Xiao-Qi
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

Formal Verification of C Systems Code

Tuch, Harvey
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Flyspeck II: the basic linear programs

Nipkow, Tobias; Obua, Steven
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

Face to Face

Broekman, Jan
2009-01-01

German National Library of Science and Technology (GetInfo) (German)

EMRS 2002 Symposium S Micro- and Nano-Structured Semiconductors : Strasbourg, June 2002

European Materials Research Society
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

Detailed quantum-chromodynamic predictions for high-pT processes

Owens, J. F.; Reya, E.; Glück, M.
1978-01-01

German National Library of Science and Technology (GetInfo) (German)

Constructing Quarks: A Sociological History of Particle Physics

R Barlow
2000-01-01

German National Library of Science and Technology (GetInfo) (German)

Constructing Quarks: A Sociological History of Particle Physics

R Barlow
2000-01-01

German National Library of Science and Technology (GetInfo) (German)

Combining Model Checking and Deduction for I/O-Automata

Mueller, O.; Nipkow, T.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

Code-carrying theories

Schreur, Ronny; Jacobs, Bart; Smetsers, Sjaak
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

Code-carrying theories

Schreur, Ronny; Jacobs, Bart; Smetsers, Sjaak
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

Bytecode Verification by Model Checking

Friedrich, Stefan; Basin, David; Gawkowski, Marek
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

Bytecode Verification by Model Checking

Friedrich, Stefan; Basin, David; Gawkowski, Marek
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

Bricks and Skeletons: Some Ideas for the Near Future of MAHT

Lange, J.-M.; Gaussier, E.; Daille, B.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

An approach to the extension of a theorem prover by advanced structuring mechanisms

Bortin, Maksym
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

Accessing Foreign Languages with Compass

Breidt, E.; Feldweg, H.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

A probabilistic framework for fairness notions

Jinshuang Wang,; Huabing Yang,; Ningrong Zhang,
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

A generic calculus of transformations

Wolff, Burkhart
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

A framework for formal representation and transformational optimisation of executable specifications

Meyer, Thomas
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

A formal verification environment for use in the certification of safety-related C programs

Walter, Dennis
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

A Technical Word- and Term-Transition Aid Using Noisy Parallel Corpora Across Language Groups

Fung, P.; McKeown, K.
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

A Modular Presentation of Modal Logics in a Logical Framework

Basin, D.; Matthews, S.; Vigano, L.
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

A Mechanized Proof of the Basic Perturbation Lemma

Ballarin, Clemens; Aransay, Jesús; Rubio, Julio
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

A Formal Proof of Sylow‘s Theorem

Paulson, Lawrence C.; Kammüller, Florian
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

A Distributed Spatial Cloaking Protocol for Location Privacy

Zhangwei, Huang; Mingjun, Xin
2010-01-01

German National Library of Science and Technology (GetInfo) (German)

A Comparison of Mizar and Isar

Wiedijk, Freek; Wenzel, Markus
2002-01-01

German National Library of Science and Technology (GetInfo) (German)