Počet záznamů: 1
On Two Notions of Computation in Transparent Intensional Logic
SYS 0504567 LBL 01000a^^22220027750^450 005 20240103222019.2 014 $a 85053438544 $2 SCOPUS 014 $a 000462846500007 $2 WOS 017 $a 10.1007/s10516-018-9401-7 $2 DOI 100 $a 20190516d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a On Two Notions of Computation in Transparent Intensional Logic 215 $a 17 s. $c P 463 -1
$1 001 cav_un_epca*0421449 $1 011 $a 1122-1151 $1 200 1 $a Axiomathes $v Roč. 29, č. 2 (2019), s. 189-205 $1 210 $c Springer 610 $a Transparent intensional logic 610 $a Procedural semantics 610 $a Lambda calculus 610 $a Term rewriting 610 $a Term interpretation 700 -1
$3 cav_un_auth*0356824 $a Pezlar $b Ivo $p FLU-F $i Kabinet pro studium vědy, techniky a společnosti $j Centre for Science, Technology, and Society Studies $w Centre for Science, Technology, and Society Studies $y CZ $4 070 $T Filosofický ústav AV ČR, v. v. i. 856 $u https://link.springer.com/article/10.1007%2Fs10516-018-9401-7 $9 RIV
Počet záznamů: 1