Maria Bittner

Maria Bittner

Professor of Linguistics, Rutgers University
在 linguistics.rutgers.edu 的电子邮件经过验证
被引用次数：3514
Semantics Pragmatics Formal Logic
Deepak Garg

Deepak Garg

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
在 mpi-sws.org 的电子邮件经过验证
被引用次数：3335
Formal Logic Security Privacy Programming Languages
Damien Doligez

Damien Doligez

Chargé de recherches, Inria
在 inria.fr 的电子邮件经过验证
被引用次数：2563
Functional Languages Formal Methods Computer Security Formal Logic Automatic Theorem Proving
Urszula Wybraniec-Skardowska

Urszula Wybraniec-Skardowska

Cardinal Stefan Wyszyński University
在 uni.opole.pl 的电子邮件经过验证
被引用次数：1472
Formal logic Logic and philosophy of language semiotics information sciences methalogic
Timothy McGrew

Timothy McGrew

Western Michigan University
在 wmich.edu 的电子邮件经过验证
被引用次数：997
History and Philosophy of Science Formal Epistemology Formal Logic History of Modern Philosophy Philosophy of Religion
Jean-Yves Vion-Dury

Jean-Yves Vion-Dury

NAVER Labs Europe
在 naverlabs.com 的电子邮件经过验证
被引用次数：931
Data Sciences Knowledge Management Algorithms Type Systems Formal Logic
Avinash Malik

Avinash Malik

University of Auckland
在 auckland.ac.nz 的电子邮件经过验证
被引用次数：863
Formal logic programming languages processor design formal verification compiler optimizations
David Swasey

David Swasey

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
在 mpi-sws.org 的电子邮件经过验证
被引用次数：674
Security Concurrency Formal Logic Programming Languages
John Licato

John Licato

Associate Professor, University of South Florida
在 usf.edu 的电子邮件经过验证
被引用次数：606
Artificial Intelligence Cognitive Science Cognitive Modeling Analogical Reasoning Formal Logic
Mathijs Mul

Mathijs Mul

在 mathijsmul.nl 的电子邮件经过验证
被引用次数：527
machine learning natural language processing software engineering computational linguistics formal logic
1 - 10