Michael Mislove

Michael Mislove

Tulane University
Email yang diverifikasi di tulane.edu
Dirujuk 6739 kali
Domain theory ordered structures topological algebra semantics of high-level programming … concurrency
Manfred Droste

Manfred Droste

Professor, Institut für Informatik, Universität Leipzig
Email yang diverifikasi di informatik.uni-leipzig.de
Dirujuk 4775 kali
automata theory logic group theory ordered structures
Tomasz Stanisław Kowalski

Tomasz Stanisław Kowalski

Jagiellonian University
Email yang diverifikasi di uj.edu.pl
Dirujuk 2280 kali
general algebra algebraic logic ordered structures
John Harding

John Harding

Professor of Mathematics, New Mexico State University
Email yang diverifikasi di nmsu.edu
Dirujuk 2247 kali
Foundations of quantum mechanics Ordered structures
Jorge Picado

Jorge Picado

CMUC, University of Coimbra
Email yang diverifikasi di mat.uc.pt
Dirujuk 2209 kali
Topology Ordered structures Categorical structures
tadeusz litak

tadeusz litak

FAU Erlangen-Nürnberg, Informatik 8
Email yang diverifikasi di cs.fau.de
Dirujuk 591 kali
algebraic logic logic in computer science interactive theorem proving coalgebra ordered structures
Pietro Codara

Pietro Codara

ISS Viganò Merate, ex DI-Unimi Milano, ex IIIA-CSIC Barcelona
Email yang diverifikasi di di.unimi.it
Dirujuk 283 kali
Combinatorics ordered structures many-valued logic categorical dualities uncertainty
Emanuel Chetcuti

Emanuel Chetcuti

Associate Professor of Mathematics, University of Malta
Email yang diverifikasi di um.edu.mt
Dirujuk 210 kali
Functional Analysis Ordered structures Operator Algebras and Noncommutative …
Gavin St. John

Gavin St. John

Postdoctoral Researcher, Università degli Studi di Cagliari
Email yang diverifikasi di unica.it
Dirujuk 49 kali
Mathematical Logic Algebraic Logic Quantum Logic Ordered Structures Decidability
Cyrille tchikapa Nganteu

Cyrille tchikapa Nganteu

Lecturer University of Yaoundé 1
Dirujuk 49 kali
category theory coalgebras Logic ordered structures
1 - 10