Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Carol R. Karp

> Home > Persons

Person information

affiliation: University of Maryland, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1960 – 1969

see FAQ

What is the meaning of the colors in the publication lists?

1967
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Karp67
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Karp67
Carol R. Karp:
Nonaxiomatizability Results for Infinitary Systems. J. Symb. Log. 32(3): 367-384 (1967)
1963
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Karp63
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Karp63
Carol R. Karp:
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 28(4): 297-308 (1963)
1962
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Karp62
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Karp62
Carol R. Karp:
Independence Proofs in Predicate Logic with Infinitely Long Expressions. J. Symb. Log. 27(2): 171-188 (1962)

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.