國立虎尾科技大學 |

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Frontiers of combining systems/ edited by Uli Sattler, Martin Suda.
其他題名:	14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
其他題名:	FroCoS 2023
其他作者:	Suda, Martin.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xvi, 275 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Formal Languages and Automata Theory. -
電子資源:	https://doi.org/10.1007/978-3-031-43369-6
ISBN:	9783031433696

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /[electronic resource] :FroCoS 2023edited by Uli Sattler, Martin Suda. - Cham :Springer Nature Switzerland :2023. - xvi, 275 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142790302-9743 ;. - Lecture notes in artificial intelligence..

Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.

Open access.

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and RelatedMethods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.

ISBN: 9783031433696

Standard No.: 10.1007/978-3-031-43369-6doiSubjects--Topical Terms:

1365747
Formal Languages and Automata Theory.

LC Class. No.: QA9.A1 / F76 2023

Dewey Class. No.: 005.131

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
LDR:02042nam a2200373 a 4500 001 1116726
003 DE-He213
005 20230914100818.0
006 m d
007 cr nn 008maaau
008 240124s2023 sz s 0 eng d
020 $a 9783031433696 $q (electronic bk.)
020 $a 9783031433689 $q (paper)
024 7 $a 10.1007/978-3-031-43369-6 $2 doi
035 $a 978-3-031-43369-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b F76 2023
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 005.131 $2 23
090 $a QA9.A1 $b F924 2023
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Frontiers of combining systems $h [electronic resource] : $b 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings / $c edited by Uli Sattler, Martin Suda.
246 3 $a FroCoS 2023
260 $a Cham : $c 2023. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xvi, 275 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14279
490 1 $a Lecture notes in artificial intelligence
505 0 $a Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
506 $a Open access.
520 $a This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and RelatedMethods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
650 2 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Software Engineering. $3 669632
650 1 4 $a Artificial Intelligence. $3 646849
650 0 $a Computer science $3 675907
650 0 $a Logic, Symbolic and mathematical $v Problems, exercises, etc. $3 580379 $3 739480
700 1 $a Suda, Martin. $3 1430182
700 1 $a Sattler, Uli. $3 884615
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in artificial intelligence. $3 1208301
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-43369-6
950 $a Computer Science (SpringerNature-11645)