UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Automating Inductive Proofs Using Theory Exploration

Automated Deduction – CADE-24, 2013, Vol.7898, p.392-406

2013

Volltextzugriff (PDF)

An Integrated Care Strategy for Pre-schoolers with Suspected Developmental Disorders: The Optimus Co-design Project that has Made it to Regular Care

International journal of integrated care, 2021-04, Vol.21 (2), p.3

2021

Volltextzugriff (PDF)

Lemma Discovery for Induction: A Survey

12th International Conference on Intelligent Computer Mathematics, CICM 2019, Prague, Czech Republic, 2019, Vol.11617 LNAI, p.125-139

2019

Volltextzugriff (PDF)

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis: Theory Exploration: Conjecturing, Testing and Reasoning about Programs

Electronic proceedings in theoretical computer science, 2020-08, Vol.320

Johansson, Moa

2020

Volltextzugriff (PDF)

Theory exploration: Conjecturing, testing and reasoning about programs

8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020, Dublin, Ireland, 2020, Vol.320

Johansson, Moa

2020

Volltextzugriff (PDF)

What Can Large Language Models Do for Theorem Proving and Formal Methods?

1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, Crete, Greece, 2024, Vol.14380 LNCS, p.391-394

2024

Volltextzugriff (PDF)

Preface

Lecture notes in computer science, 2019, Vol.11372 LNCS, p.V

2019

Volltextzugriff (PDF)

Conjectures, Tests and Proofs: An Overview of Theory Exploration

9th International Workshop on Verification and Program Transformation, VPT 2021, Virtual, Luxembourg, Luxembourg, 2021, Vol.341, p.1-16

2021

Volltextzugriff (PDF)

Case-Analysis for Rippling and Inductive Proof

Interactive Theorem Proving, p.291-306

Volltextzugriff (PDF)

Automated Theory Exploration for Interactive Theorem Proving: An Introduction to the Hipster System

Interactive Theorem Proving, 2017, Vol.10499 LNCS, p.1-11

2017

Volltextzugriff (PDF)

Finding the structure of parliamentary motions in the Swedish Riksdag 1971–2015

Quality & quantity, 2024-08, Vol.58 (4), p.3275-3301

2024

Volltextzugriff (PDF)

Pacing Patterns of Half-Marathon Runners: An analysis of ten years of results from Gothenburg Half Marathon

International journal of computer science in sport, 2023-03, Vol.22 (1), p.124-138

2023

Volltextzugriff (PDF)

Conjecture Synthesis for Inductive Theories

Journal of automated reasoning, 2011-10, Vol.47 (3), p.251-289

2011

Volltextzugriff (PDF)

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers

Practical Aspects of Declarative Languages, 2019, Vol.11372, p.115-132

2019

Volltextzugriff (PDF)

Hipster: Integrating Theory Exploration in a Proof Assistant

Intelligent Computer Mathematics, 2014, Vol.8543, p.108-122

2014

Volltextzugriff (PDF)

On Interpolation in Automated Theorem Proving

Journal of automated reasoning, 2015-01, Vol.54 (1), p.69-97

2015

Volltextzugriff (PDF)

Interpolation Systems for Ground Proofs in Automated Deduction: a Survey

Journal of automated reasoning, 2015-04, Vol.54 (4), p.353-390

2015

Volltextzugriff (PDF)

Distributed Protocol Combinators

Practical Aspects of Declarative Languages, 2019, Vol.11372, p.169-186

2019

Volltextzugriff (PDF)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Intelligent Computer Mathematics, p.117-131

Volltextzugriff (PDF)

TriCo—Triple Co-piloting of Implementation, Specification and Tests

11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 2022, Vol.13701 LNCS, p.174-187

2022

Volltextzugriff (PDF)