OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: Lógica temporal Year: 2012 Year: 2019

Sort by Score Title Year -

1-1 from 1 results (0.009 seconds)

Title: Justification Logic as a foundation for certifying mobile computation
Author: Bonelli, Eduardo / Feller, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Curry-de Bruijn-Howard isomorphism / Justification Logic / Mobile computation / Typed lambda calculus / Lógica

Acceder

« Previous 1 Next »