Strumenti personali
Tu sei qui: Portale > Ricerca > Technical Reports > 2011 > A calculus for a decidable fragment of hybrid logic with binders

A calculus for a decidable fragment of hybrid logic with binders

Serenella Cerrito, Marta Cialdea Mayer

2011-181.pdf — PDF document, 383Kb

Azioni sul documento
« maggio 2012 »
maggio
lumamegivesado
123456
78910111213
14151617181920
21222324252627
28293031
 
  • Realizzato con Plone
  • XHTML valido
  • CSS valido (CSS3)
  • Sezione 508
  • WCAG