LEADER 01554nam0 2200349 i 450 001 SUN0113315 005 20180109112109.324 010 $d0.00 017 70$2N$a978-3-319-13341-6 100 $a20180105d2015 |0engc50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $a*Rational extended thermodynamics beyond the monatomic gas$fTommaso Ruggeri, Masaru Sugiyama 205 $a[Cham] : Springer, 2015 210 $aXXIV$d376 p.$cill. ; 24 cm 215 $aPubblicazione in formato elettronico 606 $a76-XX$xFluid mechanics [MSC 2020]$2MF$3SUNC019858 606 $a76Pxx$xRarefied gas flows, Boltzmann equation in fluid mechanics [MSC 2020]$2MF$3SUNC020661 606 $a76N15$xGas dynamics, general [MSC 2020]$2MF$3SUNC023158 606 $a82C40$xKinetic theory of gases in time-dependent statistical mechanics [MSC 2020]$2MF$3SUNC023377 606 $a82D05$xStatistical mechanical studies of gases [MSC 2020]$2MF$3SUNC023544 620 $aCH$dCham$3SUNL001889 700 1$aRuggeri$b, Tommaso$3SUNV027172$057550 701 1$aSugiyama$b, Masaru$3SUNV087443$0755544 712 $aSpringer$3SUNV000178$4650 801 $aIT$bSOL$c20210503$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-13341-6 912 $aSUN0113315 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0403 $e08eMF403 20180105 996 $aRational extended thermodynamics beyond the monatomic gas$91522536 997 $aUNICAMPANIA LEADER 03728nam 22005535 450 001 9910865249003321 005 20240909111316.0 010 $a9783031626876$b(electronic bk.) 010 $z9783031626869 024 7 $a10.1007/978-3-031-62687-6 035 $a(MiAaPQ)EBC31460571 035 $a(Au-PeEL)EBL31460571 035 $a(CKB)32258750500041 035 $a(DE-He213)978-3-031-62687-6 035 $a(OCoLC)1439602815 035 $a(EXLCZ)9932258750500041 100 $a20240608d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Language, Information, and Computation $e30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10?13, 2024, Proceedings /$fedited by George Metcalfe, Thomas Studer, Ruy de Queiroz 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (309 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14672 311 08$aPrint version: Metcalfe, George Logic, Language, Information, and Computation Cham : Springer International Publishing AG,c2024 9783031626869 327 $a -- Model Theory of Gödel Logic. -- Nothing is Logical. -- Automata Minimisation in Logical Form. -- Probability and Nondeterminism with Multiset Semantics. -- Theory and Practice of Uniform Interpolation. -- Pride and Probability. -- Strict-Tolerant Conditional Logics. -- A linear proof language for second-order intuitionistic linear logic. -- A Logic of Isolation. -- A simple loopcheck for Intuitionistic K. -- Axiomatising Classical Realisability. -- Obtaining Intersection Types via Finite-Set Declaration. -- Syntactic concept lattice models for in?nitary action logic. -- Rules of Partial Orthomodularity. -- Labelled Sequent Calculi for Inquisitive Modal Logics. -- Correspondence theory on vector spaces. -- An EXPTIME-complete entailment problem in separation logic. -- (In)consistency operators on quasi-Nelson algebras. -- Lambek Calculus with Banged Atoms for Parasitic Gaps. -- Completeness of Finitely Weighted Kleene Algebra With Tests . -- Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions. -- Validity in Contexts: A Semantics for Indicatives and Epistemic Modals. -- Logical Expressibility of Syntactic NL for Complementarity and Maximization. -- Polyadic Quanti?ers on Dependent Types. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10?13, 2024. The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14672 606 $aComputers 606 $aArtificial intelligence 606 $aComputer Hardware 606 $aArtificial Intelligence 615 0$aComputers. 615 0$aArtificial intelligence. 615 14$aComputer Hardware. 615 24$aArtificial Intelligence. 676 $a4 700 $aMetcalfe$b George$0472358 701 $aStuder$b Thomas$01229382 701 $ade Queiroz$b Ruy$01742024 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910865249003321 996 $aLogic, Language, Information, and Computation$94168647 997 $aUNINA