GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Andrzej Ehrenfeucht
URI:
https://gptkb.org/entity/Andrzej_Ehrenfeucht
GPTKB entity
Statements (40)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_Warsaw
gptkbp:dateOfBirth
1932-08-08
gptkbp:doctoralAdvisor
gptkb:Andrzej_Mostowski
gptkbp:doctoralStudent
gptkb:David_Eppstein
gptkb:Gary_H._Merrill
gptkb:Grzegorz_Rozenberg
gptkb:Jacek_Cichoń
gptkb:Jacek_Leskow
gptkb:Jacek_Tyszkiewicz
gptkb:Janusz_Brzozowski
gptkb:Janusz_Szymański
gptkb:Jeanette_Wing
gptkb:Leszek_Pacholski
gptkb:Marek_Chrobak
gptkb:Marek_Karpinski
gptkb:Marek_Srebrny
gptkb:Pavel_Pevzner
gptkb:Ross_Overbeek
gptkb:Tomasz_Imieliński
gptkb:Wojciech_Rytter
gptkb:Zbigniew_Lonc
gptkbp:employer
gptkb:University_of_Colorado_Boulder
gptkbp:fieldOfWork
gptkb:logic
theoretical computer science
bioinformatics
combinatorics
formal languages
https://www.w3.org/2000/01/rdf-schema#label
Andrzej Ehrenfeucht
gptkbp:knownFor
gptkb:Ehrenfeucht–Fraïssé_game
gptkb:Ehrenfeucht–Mostowski_theorem
gptkb:Ehrenfeucht–Mycielski_sequence
gptkbp:memberOf
gptkb:Polish_Academy_of_Sciences
gptkbp:nationality
Polish
gptkbp:occupation
gptkb:computer_scientist
gptkb:mathematician
gptkbp:placeOfBirth
gptkb:Lwów,_Poland
gptkbp:spouse
gptkb:Barbara_Ehrenfeucht
gptkbp:bfsParent
gptkb:Fundamenta_Mathematicae
gptkbp:bfsLayer
5