default search action

combined dblp search
author search
venue search
publication search

ask others

Festschrift honoring Gary Lindstrom 2005

> Home > Conferences and Workshops > Festschrift

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/2007lindstrom
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2007lindstrom
Ganesh Gopalakrishnan:
Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007. Electronic Notes in Theoretical Computer Science 193, Elsevier 2007
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Gopalakrishnan07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Gopalakrishnan07
Ganesh Gopalakrishnan:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bracha07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bracha07
Gilad Bracha:
Executable Grammars in Newspeak. 3-18
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GopalakrishnanK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GopalakrishnanK07
Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Methods for MPI Programs. 19-27
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiuH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiuH07
Hai Liu, Paul Hudak:
Plugging a Space Leak with an Arrow. 29-45
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KellerHJMWG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KellerHJMWG07
Robert Keller, Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin, Steven Gomez:
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant. 47-60
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kieburtz07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kieburtz07a
Richard B. Kieburtz:
Strength Induction in a Haskell Program Verifier. 61-79

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.