Jirí Adámek - Wissenschaftliche Veröffentlichungen

(1 - 9 von 9

)

dblp.uni-trier.de

› JiriAdamek

dblp.org

List of computer science publications by Jirí Adámek

www.ibr.cs.tu-bs.de

· Prof. Dr. Jirí Adámek: A central motivation for modern logic is that it provides a tool to represent natural language meaning and inference.

www.ibr.cs.tu-bs.de

· Prof. Dr. Jirí Adámek: Coalgebras provide a framework for studying various types of transition systems in a uniform way.

dblp.org

List of computer science publications by Dietmar Wätjen

www.math.uni-hamburg.de

Jirí Adámek, Nathan Bowler, Paul Blain Levy, Stefan Milius. Proceedings of the IEEE Symposium on Logic in Computer Science (2012), pages

www.ibr.cs.tu-bs.de

Prof. Dr. Jirí Adámek: I will report on recent work with Chris Isham on the application of topos theory to physics.

www.tcs.cs.tu-bs.de

Website of Prof. Dr. Roland Meyer's Institute for Theoretical Computer Science at TU Braunschweig

Verwandte Suchanfragen zu Jirí Adámek

sortiert nach Relevanz / Datum

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Jirí Adámek