Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'nr4lnp8p652j9rkustcsro5nr1' in /var/www/church/includes/database.mysql.inc on line 121
Una misura semantica del tempo di esecuzione in logica lineare | Gruppo di Logica e Geometria della Cognizione

Una misura semantica del tempo di esecuzione in logica lineare

	Speaker:	Lorenzo Tortora de Falco
	Quando:	13/02/2009 - 14:00
	Dove:	Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract "Una misura semantica del tempo di esecuzione in logica lineare" (lavoro in collaborazione con D. De Carvalho e M. Pagani)

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'nr4lnp8p652j9rkustcsro5nr1' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/295', '', '3.145.81.250', 1736938900) in /var/www/church/includes/database.mysql.inc on line 121