The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira - Temporal power - Document - PDFSEARCH.IO

First Page	Meta Content
	The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira Add to Reading List Document Date: 2011-05-10 14:09:19 Open Document File Size: 409,04 KB Share Result on Facebook IndustryTerm tableau algorithms / time-critical systems / / Person Diego Figueira Santiago Figueira Sergio / Carlos Areces Diego Figueira Santiago / Spoiler / / Product HTC HD2 Smartphone / / ProgrammingLanguage ML / / ProvinceOrState EF / / Technology tableau algorithms / / SocialTag Temporal logic Hybrid logic Modal depth Interpretation Artificial neuron Logic Modal logic Epistemic modal logic

The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago FigueiraAdd to Reading List