Moss E Sweedler

Moss E Sweedler

Professor Emeritus of Mathematics, Cornell University
Email yang diverifikasi di cornell.edu
Dirujuk 15931 kali
Hopf Algebras coalgebra purely inseparable field extensions positive characteristic computational commutative algebra
Marcello Bonsangue

Marcello Bonsangue

Professor of Computer Science, Leiden University
Email yang diverifikasi di liacs.leidenuniv.nl
Dirujuk 6535 kali
Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory
Alexandra Silva

Alexandra Silva

Cornell University
Email yang diverifikasi di cornell.edu
Dirujuk 3091 kali
Programming Languages Semantics Coalgebra Verification Formal methods
Stefan Milius

Stefan Milius

FAU Erlangen-Nürnberg
Email yang diverifikasi di stefan-milius.eu
Dirujuk 2331 kali
Semantics Coalgebra Category Theory Verification Formal Methods
Ana Sokolova

Ana Sokolova

Associate Professor at University of Salzburg
Email yang diverifikasi di cs.uni-salzburg.at
Dirujuk 2166 kali
Coalgebra Concurrency Formal Methods Probabilistic Systems
Peter Gumm

Peter Gumm

Philipps University Marburg
Email yang diverifikasi di mathematik.uni-marburg.de
Dirujuk 2073 kali
universal_algebra coalgebra verification
Bartek Klin

Bartek Klin

University of Oxford
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 1559 kali
nominal sets coalgebra structural operational semantics logic in computer science
Helle Hvid Hansen

Helle Hvid Hansen

Associate Professor at University of Groningen
Email yang diverifikasi di rug.nl
Dirujuk 1067 kali
modal logic coalgebra algebra automata games
Corina Cirstea

Corina Cirstea

University of Southampton
Email yang diverifikasi di ecs.soton.ac.uk
Dirujuk 929 kali
Coalgebra Logic Verification Formal Methods
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
1 - 10