Julian Bradfield
- Modal Logics and mu-Calculi: An Introduction
2001/01/01 by Julian Bradfield, Colin Stirling · 1 citation
Computer Science · Engineering · Mathematics · Medicine · #Accessibility relation #Algebra over a field #Algorithm #Calculus (dental) #Computer science #Description logic #Dynamic logic (digital electronics) #Engineering #Formal Methods in Verification #Geometry #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Materials science #Mathematics #Medicine #Modal #Modal logic #Multimodal logic #Normal modal logic #Pure mathematics #Rotation formalisms in three dimensions #S5 #Theoretical computer science
- Clicks, concurrency and Khoisan
2014/05/01 by Julian Bradfield · 1 citation
Psychology · Computer Science · Social Sciences · #Phonetics and Phonology Research #Speech and dialogue systems #Language and cultural evolution #Concurrency #Phonology #Linguistics #Task (project management) #Phonetics #Computer science #Metalinguistics #Philosophy #Programming language