Find:

Searching for PHRASE andreas abel.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
56 documents found. Order: number of citations.

Termination Checking with Types - Abel (1999)   (Correct)   (6 citations)
Applications Termination Checking With Types Andreas Abel 1 Abstract. The Paradigm Of Type-Based
Munchen, 2002. Termination Checking with Types Andreas Abel
www.tcs.informatik.uni-muenchen.de/~abel/rairo04.ps.gz

A Third-Order Representation of the λμ-Calculus - Abel (2001)   (Correct)   (6 citations)
Third-Order Representation of the Calculus Andreas Abel Workshop MERLIN 2001, IJCAR, Siena June 18,
[Abe01] Andreas Abel. A third-order representation of the
www.tcs.informatik.uni-muenchen.de/~abel/talkMERLIN.ps.gz

Termination and Productivity Checking with Continuous Types - Abel (2003)   (Correct)   (2 citations)
and Productivity Checking with Continuous Types Andreas Abel Department of Computer Science, University
keeps all term variables xed)References 1. Andreas Abel. Speci cation and veri cation of a formal
www.tcs.informatik.uni-muenchen.de/~abel/tlca03.ps.gz

Isabelle/Isar - a versatile environment for human-readable formal .. - Wenzel (2002)   (Correct)   (2 citations)
one way or the other (in alphabetical order)Andreas Abel, David Aspinall, Gertrud Bauer, Henk
isabelle.in.tum.de/Isar/isar-thesis-Isabelle2002.pdf

Statistical Analysis of Chaotic Communication Schemes - Abel, Götz, Schwarz (1998)   (Correct)   (2 citations)
Analysis Of Chaotic Communication Schemes Andreas Abel, Marco Gotz, And Wolfgang Schwarz Tu Dresden,
Analysis of Chaotic Communication Schemes Andreas Abel, Marco Gtz, d Wolfgang Schwarz
www.iee.et.tu-dresden.de/~falk/E1/pub/ags_iscas98.pdf

Extensional Equality in Intensional Type Theory - Altenkirch (1999)   (Correct)   (2 citations)
comments on earlier drafts and proof-reading: Andreas Abel, Peter Dybjer, Martin Hofmann, Ralph Matthes,
ftp.tcs.informatik.uni-muenchen.de/pub/alti/publ/LICS99.ps.Z

A Semantical Analysis of Structural Recursion - Abel, Altenkirch (1999)   (Correct)   (2 citations)
A semantical analysis of structural recursion Andreas Abel, Thorsten Altenkirch February 1st, 1999 We are
[1] Andreas Abel and Thorsten Altenkirch. A semantical analysis
www.tcs.informatik.uni-muenchen.de/~abel/publications/dipl-abs.ps

Termination and Guardedness Checking with Continuous Types -.. - Abel (2001)   (Correct)   (1 citation)
Types Ordinal Indices for (Co)Inductive Types Andreas Abel Gemeinsamer Workshop der Graduiertenkollegs
[Abe02] Andreas Abel. Termination and guardedness checking with
www.tcs.informatik.uni-muenchen.de/~abel/talkDresden.ps.gz

Termination and Guardedness Checking with Continuous Types - Yet.. - Abel (2002)   (Correct)   (1 citation)
Yet Another Approach to General Recursion Andreas Abel TYPES Workshop 2002 Berg en Dal, Nijmegen
orderings. 12 Slide 25 References 1] Andreas Abel. Termination checking with types. Technical
www.tcs.informatik.uni-muenchen.de/~abel/talkTYPES.ps.gz

On Continuous Normalization - Aehlig, Joachimski   (Correct)   (1 citation)
Haskell. Acknowledgements. We are grateful to Andreas Abel for helpful comments on previous drafts of
www.mathematik.uni-muenchen.de/~joachski/cn.ps.gz

Human-Readable Machine-Verifiable Proofs for Teaching.. - Abel, Chang, Pfenning (2001)   (Correct)   (1 citation)
Proofs for Teaching Constructive Logic Andreas Abel 1? Bor-Yuh Evan Chang 2 and Frank
Proofs for Teaching Constructive Logic Andreas Abel, Bor-Yuh Evan Chang, Frank Pfenning
www.cs.cmu.edu/~abel/ptp01.ps.gz

Specification and Verification of a Formal System for Structurally .. - Abel (2000)   (Correct)   (1 citation)
System for Structurally Recursive Functions Andreas Abel Department of Computer Science, University of
comments on the draft. References AA99] Andreas Abel and Thorsten Altenkirch. A predicative
www.tcs.informatik.uni-muenchen.de/~abel/sound-simple.ps.gz

Characterizing Strongly Normalizing Terms of a lambda-Calculus.. - Matthes   (Correct)   (1 citation)
6.4 in the style of [5]Acknowledgements to Andreas Abel, Thorsten Altenkirch and Felix Joachimski for
www.tcs.informatik.uni-muenchen.de/~matthes/papers/itrsfinal.ps

Characterizing Strongly Normalizing Terms for a Lambda Calculus.. - Matthes (2000)   (Correct)   (1 citation)
6.4 in the style of [4]Acknowledgements to Andreas Abel, Thorsten Altenkirch and Felix Joachimski for
www.tcs.informatik.uni-muenchen.de/~matthes/papers/itrs.ps.gz

What is the Use of Frobenius-Perron Operator for Chaotic.. - Götz, Abel, Schwarz (1997)   (Correct)   (1 citation)
for Chaotic Signal Processing ?Marco Gotz, Andreas Abel, and Wolfgang Schwarz Technische Universitat
for Chaotic Signal Processing? Marco Gtz, Andreas Abel, Wolfgang Schwarz
www.iee.et.tu-dresden.de/~kelber/E1/pub/ndes97_3.ps.gz

foetus - Termination Checker for Simple Functional Programs - Abel (1998)   (Correct)   (1 citation)
Checker for Simple Functional Programs Andreas Abel July 16, 1998 Abstract We introduce a
[Abe98] Andreas Abel. foetus -termination checker for simple
www.tcs.informatik.uni-muenchen.de/~abel/publications/foetus.ps

Fixed Points of Type Constructors and Primitive Recursion - Abel, Matthes   (Correct)
of Type Constructors and Primitive Recursion Andreas Abel 1 and Ralph Matthes 2 1 Department of
of Type Constructors and Primitive Recursion Andreas Abel, Ralph Matthes
www.tcs.informatik.uni-muenchen.de/~abel/csl04final.ps.gz

Weak Normalization for the Simply-Typed Lambda-Calculus in Twelf.. - Abel (2004)   (Correct)
Lambda-Calculus in Twelf Extended Abstract) Andreas Abel Department of Computer Science, Chalmers
in the years 2000-2004. 9 References Abe04] Andreas Abel. A twelf proof of weak normalization for the
www.tcs.informatik.uni-muenchen.de/~abel/lfm04.ps.gz

First 20 documents  Next 20

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC