Info
Logic in Computer Science, 10th Symposium on (LICS '95
| Logic in Computer Science, 10th Symposium on (LICS '95 |
| Autore | Kozen Dexter |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
| Descrizione fisica | 1 online resource (xiii, 518 pages) : illustrations |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996200302303316 |
Kozen Dexter
|
||
| [Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings / / edited by Dexter Kozen, Ruy de Queiroz
| Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings / / edited by Dexter Kozen, Ruy de Queiroz |
| Autore | Kozen Dexter |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (770 pages) |
| Disciplina | 004 |
| Altri autori (Persone) | de QueirozRuy |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Artificial intelligence Computer Hardware Artificial Intelligence |
| ISBN | 3-031-99536-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Deep Induction for Inductive Families -- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. -- Logics of Importation and Exportation for the Implicative Conditional. -- Paraconsistent Constructive Modal Logic. -- . Convergence laws for expansions of linear preorders. -- Indicative conditionals: algebraic considerations. -- Abstracting Conceptual Models as a Weakening Process. -- . Axiomatization and Decidability of Tense Information Logic. -- Infinitary Refinement Types for Temporal Properties in Scott Domains. -- On tame semantics for interpretability logic. -- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. -- Insensitive Games: Game Semantics for Modal Insensitivity. -- . Index set complexity for congruence lattices of lattices. -- The Satisfiability Problem in a Separation Logic of Relations. -- Graded Relation Updates in Modal Logic. -- Proof Search in Classical Propositional Logic with Partial Proof Terms. -- A significance-based account of ceteris paribus counterfactuals. -- Tabular intermediate logics comparison. -- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME. -- Counterexamples to Import-Export in Conditionals: A Logical Analysis. |
| Record Nr. | UNISA-996673178103316 |
|
Kozen Dexter
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||