Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kai Brünnler
Syntactic Cut-Elimination for Common Knowledge
Annals of Pure and Applied Logic
Logic
Related publications
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
Journal of Functional Programming
Software
Acquisition of Morphological and Syntactic Knowledge for Early Childhood
International Journal of English Literature and Social Sciences
Cut-And-Paste Knowledge
Nature
Multidisciplinary
Projecting the Knowledge Graph to Syntactic Parsing
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decentralized Common Knowledge Oracles
Ledger
Tree Kernel-Based SVM With Structured Syntactic Knowledge for BTG-based Phrase Reordering
From Syntactic-Semantic Tagging to Knowledge Discovery in Medical Texts
International Journal of Medical Informatics
Health Informatics
Coordination, Timing and Common Knowledge
Research in Economics
Economics
Econometrics
