Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 51

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 51, Numbers 1-2, 1991

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Abramsky91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Abramsky91
Samson Abramsky:
Domain Theory in Logical Form. 1-77
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Vardi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Vardi91
Moshe Y. Vardi:
Verification of Concurrent Programs: The Automata-Theoretic Framework. 79-98
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MitchellM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MitchellM91
John C. Mitchell, Eugenio Moggi:
Kripke-Style Models for Typed lambda Calculus. 99-124
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MillerNPS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MillerNPS91
Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov:
Uniform Proofs as a Foundation for Logic Programming. 125-157
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Mendler91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Mendler91
Nax Paul Mendler:
Inductive Types and Type Constraints in the Second-Order lambda Calculus. 159-172

Volume 51, Number 3, 23 March 1991

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Farmer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Farmer91
William M. Farmer:
A Unification-Theoretic Method for Investigating the k-Provability Problem. 173-214
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gitik91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gitik91
Moti Gitik:
The Strength of the Failure of the Singular Cardinal Hypothesis. 215-240
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Macintyre91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Macintyre91
Angus Macintyre:
Schanuel's Conjecture and Free Exponential Rings. 241-246
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Sureson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Sureson91
Claude Sureson:
About Prikry Generic Extensions. 247-278
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Zaionc91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Zaionc91
Marek Zaionc:
lambda-Definability on Free Algebras. 279-300

a service of

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.