Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissi...
I tiakina i:
| Kaituhi rangatōpū: | SpringerLink (Online service) |
|---|---|
| Ētahi atu kaituhi: | Hanus, Michael (Editor), Inclezan, Daniela (Editor) |
| Hōputu: | Tāhiko īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Putanga: | 1st ed. 2023. |
| Rangatū: | Lecture Notes in Computer Science,
13880 |
| Ngā marau: | |
| Urunga tuihono: | https://doi.org/10.1007/978-3-031-24841-2 |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
R-Calculus, IV: Propositional Logic
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2023)
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2023)
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
mā: Hoffmann, Dirk W.
I whakaputaina: (2025)
mā: Hoffmann, Dirk W.
I whakaputaina: (2025)
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
I whakaputaina: (2023)
I whakaputaina: (2023)
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
I whakaputaina: (2025)
I whakaputaina: (2025)
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
I whakaputaina: (2023)
I whakaputaina: (2023)
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
I whakaputaina: (2025)
I whakaputaina: (2025)
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
R-Calculus, V: Description Logics
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2024)
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2024)
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Institution-independent Model Theory
mā: Diaconescu, Răzvan
I whakaputaina: (2025)
mā: Diaconescu, Răzvan
I whakaputaina: (2025)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
I whakaputaina: (2024)
I whakaputaina: (2024)
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
I whakaputaina: (2025)
I whakaputaina: (2025)
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
I whakaputaina: (2023)
I whakaputaina: (2023)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
I whakaputaina: (2023)
I whakaputaina: (2023)
R-Calculus, VI: Finite Injury Priority Method
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2025)
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2025)
Compiler Construction Fundamentals and Applications /
mā: Mössenböck, Hanspeter
I whakaputaina: (2025)
mā: Mössenböck, Hanspeter
I whakaputaina: (2025)
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Design Patterns with Java An Introduction /
mā: Musch, Olaf
I whakaputaina: (2023)
mā: Musch, Olaf
I whakaputaina: (2023)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
I whakaputaina: (2024)
I whakaputaina: (2024)
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
I whakaputaina: (2024)
I whakaputaina: (2024)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
mā: Farmer, William M.
I whakaputaina: (2023)
mā: Farmer, William M.
I whakaputaina: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
mā: Farmer, William M.
I whakaputaina: (2025)
mā: Farmer, William M.
I whakaputaina: (2025)
Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Ngā tūemi rite
-
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
I whakaputaina: (2024) -
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
I whakaputaina: (2024) -
R-Calculus, IV: Propositional Logic
mā: Li, Wei, me ētahi atu.
I whakaputaina: (2023) -
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
I whakaputaina: (2023) -
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
I whakaputaina: (2023)