Harry G. Mairson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > Harry G. Mairson

Publications

1996
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/AbiteboulKMSV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/AbiteboulKMSV96
Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi:
In Memoriam Paris C. Kanellakis. ACM Comput. Surv. 28(1): 3-15 (1996)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HillebrandKM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HillebrandKM96
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson:
Database Query Languages Embedded in the Typed Lambda Calculus. Inf. Comput. 127(2): 117-144 (1996)
1995
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HillebrandKMV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HillebrandKMV95
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi:
Undecidable Boundedness Problems for Datalog Programs. J. Log. Program. 25(2): 163-190 (1995)
1994
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/KanellakisHM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/KanellakisHM94
Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson:
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction. ICALP 1994: 83-105
1993
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/GaifmanMSV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/GaifmanMSV93
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi:
Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HillebrandKM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HillebrandKM93
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson:
Database Query Languages Embedded in the Typed Lambda Calculus. LICS 1993: 332-343
1991
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/KanellakisMM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KanellakisMM91
Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell:
Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson 1991: 444-478
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/HillebrandKMV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/HillebrandKMV91
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi:
Tools for Datalog Boundedness. PODS 1991: 1-12
1987
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/GaifmanMSV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GaifmanMSV87
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi:
Undecidable Optimization Problems for Database Logic Programs. LICS 1987: 106-115
1984
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/DolevMMU84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/DolevMMU84
Danny Dolev, David Maier, Harry G. Mairson, Jeffrey D. Ullman:
Correcting Faults in Write-Once Memory. STOC 1984: 225-229

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.