Skip to contents

Moller, Faron [Editor] ; Higher Order Workshop 8 1994 Banff, Alberta

Logics for concurrency : structure versus automata; [VIII. Banff Higher Order Workshop, held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1043
Heering, Jan [Editor] ; HOA 1 1993 Amsterdam

Higher order algebra, logic, and term rewriting : first international workshop; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 816
Hanus, Michael [Editor] ; ALP 6 1997 Southampton, HOA 3 1997 Southampton

Algebraic and logic programming : 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3 - 5, 1997; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1298
Dowek, Gilles [Editor] ; HOA 2 1995 Paderborn

Higher order algebra, logic, and term rewriting : second international workshop; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1074
Joyce, Jeffrey J. [Editor] ; HUG 6 1993 Vancouver, British Columbia

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11 - 13,1993; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 780
Gordon, Andrew D. [Editor]; Pitts, Andrew M. [Other] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge

Higher order operational techniques in semantics : HOOTS - [1. publ.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Pr., 1998

Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12
Wright, Joakim von [Editor] ; TPHOLs 9 1996 Turku

Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26 - 30, 1996; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1125
Melham, T. F. [Editor] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 7 1994 Valletta

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 859
Schubert, E. Thomas [Editor] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 8 1995 Aspen Grove, Utah

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 971
Kesner, Delia [Other]; Raamsdonk, Femke van [Other]; Wells, Joe [Other] ; HOR 2 2004 Aachen

HOR 2004 - 2nd International Workshop on Higher-Order-Rewriting

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, 2004

Published in: Aachener Informatik-Berichte ; 2004,3
Heering, Jan [Other] ; HOA 1 1993 Amsterdam

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 81600
Dowek, Gilles [Other] ; HOA 2 1995 Paderborn

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 107400
Joyce, Jeffrey J. [Other] ; HUG 6 1993 Vancouver, British Columbia

Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vancouver, B.C., Canada, August 11 - 13, 1993 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 78000
Wright, Joakim von [Other] ; TPHOLs 9 1996 Turku

Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 112500
Voronkov, Andrei [Editor]; Korovina, Margarita [Editor]; Barringer, Howard [Honoree] ; HOWARD-60 Veranstaltung 2011 Manchester, University of Manchester

HOWARD-60 : a festschrift on the occasion of Howard Barringer's 60th birthday

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, February 12, 2014

Published in: EPiC series in computing ; 42
IEEE Signal Processing Workshop on Higher-Order Statistics (1997 :Banff, Alta.), IEEE Signal Processing Society

Proceedings of the IEEE Signal Processing Workshop on Higher-Order Statistics, July 21-23, 1997, Banff, Alberta, Canada

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Los Alamitos, Calif: IEEE Computer Society Press, 2010 ; [S.l.]: HathiTrust Digital Library
Melham, T. F. [Other] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 7 1994 Valletta

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; 2006

Published in: Lecture notes in computer science ; 85900
Signal Processing Workshop on Higher-Order Statistics (1993 :South Lake Tahoe, Calif.), Institute of Electrical and Electronics Engineers

Signal Processing Workshop on Higher-Order Statistics, June 7-9, 1993, Stanford Sierra Group, South Lake Tahoe, CA, USA

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York: Institute of Electrical and Electronics Engineers, 2010 ; [S.l.]: HathiTrust Digital Library
Workshop on Higher-Order Spectral Analysis (1989 :Vail, Colo.), IEEE Society on Control Systems, IEEE Society on Geoscience and Remote Sensing, IEEE Society on Acoustics, Speech and Signal Processing, National Science Foundation (U.S.), United States Office of Naval Research

Workshop on Higher-Order Spectral Analysis : the Lodge at Vail, Vail, Colorado, June 28-30, 1989

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[New York?]: [IEEE], 1989

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication