Intuitionistic computability logic
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic. With its expressive and flexible language, where formulas represent computational problems and...
Elmentve itt :
| Szerző: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2007
|
| Sorozat: | Acta cybernetica
18 No. 1 |
| Kulcsszavak: | Természettudomány, Informatika |
| Online Access: | http://acta.bibl.u-szeged.hu/12805 |