Number of the records: 1
Logically Speaking. A Festschrift for Marie Duží
SYS 0568686 LBL 01000a^^22220027750^450 005 20231122151200.1 017 $2 DOI 100 $a 20230216d m y slo 03 ba 101 $a eng $d eng 102 $a GB 200 1-
$a Going Nowhere and Back. Is Trivialization the Same as Zero Execution? 215 $a 16 s. $9 356 $c P 463 -1
$1 001 cav_un_epca*0568685 $1 010 $a 978-1-84890-419-4 $1 200 1 $a Logically Speaking. A Festschrift for Marie Duží $v S. 187-202 $1 210 $a London $c College Publications $d 2022 $1 225 $a Tributes $v 49 $1 702 1 $a Materna $b P. $4 340 $1 702 1 $a Jespersen $b B. $4 340 610 $a transparent intensional logic 610 $a execution construction 610 $a trivialization construction 610 $a procedural semantics 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://www.collegepublications.co.uk/tributes/?00049
Number of the records: 1