國立高雄大學圖資館 |

Language: English

Back

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computation structuresedited by Naoki Kobayashi, James Worrell.
Reminder of title:	27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.
remainder title:	FOSSACS 2024
other author:	Kobayashi, Naoki.
corporate name:
Published:	Cham :Springer Nature Switzerland :2024.
Description:	xvi, 272 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer software
Online resource:	https://doi.org/10.1007/978-3-031-57231-9
ISBN:	9783031572319$q(electronic bk.)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II /
Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II /[electronic resource] :FOSSACS 2024edited by Naoki Kobayashi, James Worrell. - Cham :Springer Nature Switzerland :2024. - xvi, 272 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,145751611-3349 ;. - Lecture notes in computer science ;4891..

Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.

Open access.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

ISBN: 9783031572319$q(electronic bk.)

Standard No.: 10.1007/978-3-031-57231-9doiSubjects--Topical Terms:

252618
Computer software

LC Class. No.: QA76.751 / .F67 2024

Dewey Class. No.: 005.1

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II /
LDR:02766nmm a2200373 a 4500 001 664550
003 DE-He213
005 20240406124750.0
006 m d
007 cr nn 008maaau
008 241219s2024 sz s 0 eng d
020 $a 9783031572319$q(electronic bk.)
020 $a 9783031572302$q(paper)
024 7 $a 10.1007/978-3-031-57231-9 $2 doi
035 $a 978-3-031-57231-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.751 $b .F67 2024
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.751 $b .F751 2024
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Foundations of software science and computation structures $h [electronic resource] : $b 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings. $n Part II / $c edited by Naoki Kobayashi, James Worrell.
246 3 $a FOSSACS 2024
246 3 $a ETAPS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xvi, 272 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14575
505 0 $a Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
506 $a Open access.
520 $a The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
650 0 $a Computer software $3 252618
650 0 $a Software engineering $3 253562
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Data Structures and Information Theory. $3 825714
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Mathematics of Computing. $3 273710
700 1 $a Kobayashi, Naoki. $3 280217
700 1 $a Worrell, James. $3 700062
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-57231-9
950 $a Computer Science (SpringerNature-11645)