Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
29
views
15
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,438
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Proof–Based Synthesis of Sorting Algorithms for Trees
other
Author(s):
Isabela Drămnesc
,
Tudor Jebelean
,
Sorin Stratulat
Publication date
(Online):
February 26 2016
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
15
Record
: found
Abstract
: not found
Book
: not found
Isabelle/HOL
Tobias Nipkow
,
Markus Wenzel
,
Lawrence Paulson
(2002)
0
comments
Cited
199
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Interactive Theorem Proving and Program Development
Yves Bertot
,
Pierre Castéran
(2004)
0
comments
Cited
114
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Program development by stepwise refinement
Niklaus Wirth
(1971)
0
comments
Cited
81
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Publication date (Online):
February 26 2016
Pages
: 562-575
DOI:
10.1007/978-3-319-30000-9_43
SO-VID:
488f169e-04f5-4690-bbb7-3e9abf46da25
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Non-Zero Sum Games for Reactive Synthesis
pp. 24
Tangles and Connectivity in Graphs
pp. 42
Restricted Turing Machines and Language Recognition
pp. 57
Automata for Ontologies
pp. 63
Reasoning with Prototypes in the Description Logic $${\mathcal {ALC}}$$ ALC Using Weighted Tree Automata
pp. 76
$$+\omega $$ + ω -Picture Languages Recognizable by Büchi-Tiling Systems
pp. 89
A Logical Characterization for Dense-Time Visibly Pushdown Automata
pp. 102
A Complexity Measure on Büchi Automata
pp. 114
Compositional Bisimulation Minimization for Interval Markov Decision Processes
pp. 127
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
pp. 143
Colored Nested Words
pp. 156
Input-Driven Queue Automata with Internal Transductions
pp. 168
Periodic Generalized Automata over the Reals
pp. 181
Minimal Separating Sequences for All Pairs of States
pp. 194
Forkable Regular Expressions
pp. 207
On the Levenshtein Automaton and the Size of the Neighbourhood of a Word
pp. 221
Parallelogram Morphisms and Circular Codes
pp. 233
On Del-Robust Primitive Partial Words with One Hole
pp. 245
Optimal Bounds for Computing $$\alpha $$ α -gapped Repeats
pp. 259
On XOR Lemma for Polynomial Threshold Weight and Length
pp. 270
The Beachcombers’ Problem: Walking and Searching from an Inner Point of a Line
pp. 283
Using Duality in Circuit Complexity
pp. 295
The Minimum Entropy Submodular Set Cover Problem
pp. 307
On the Capacity of Capacitated Automata
pp. 320
On Limited Nondeterminism and ACC Circuit Lower Bounds
pp. 330
The Complexity of Induced Tree Reconfiguration Problems
pp. 345
The Missing Case in Chomsky-Schützenberger Theorem
pp. 359
Homomorphic Characterizations of Indexed Languages
pp. 371
Ogden’s Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy
pp. 387
Steganography Based on Pattern Languages
pp. 400
Inferring a Relax NG Schema from XML Documents
pp. 412
Noise Free Multi-armed Bandit Game
pp. 427
Properties of Regular DAG Languages
pp. 439
Normal Form on Linear Tree-to-Word Transducers
pp. 452
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids
pp. 464
Hankel Matrices for Weighted Visibly Pushdown Automata
pp. 478
Linear Context-Free Tree Languages and Inverse Homomorphisms
pp. 493
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages
pp. 506
The Word Problem for HNN-extensions of Free Inverse Semigroups
pp. 521
Between a Rock and a Hard Place – Uniform Parsing for Hyperedge Replacement DAG Grammars
pp. 533
An Error Correcting Parser for Context Free Grammars that Takes Less Than Cubic Time
pp. 549
Accurate Approximate Diagnosability of Stochastic Systems
pp. 562
Proof–Based Synthesis of Sorting Algorithms for Trees
pp. 579
Reversible Shrinking Two-Pushdown Automata
pp. 592
Reachability in Resource-Bounded Reaction Systems
pp. 603
Canonical Multi-target Toffoli Circuits
Similar content
3,438
Using noise signature to optimize spike-sorting and to assess neuronal classification quality.
Authors:
Gilles Laurent
,
O Mazor
,
Christophe Pouzat
Assessment of Drivers of Antimicrobial Usage in Poultry Farms in the Mekong Delta of Vietnam: A Combined Participatory Epidemiology and Q-Sorting Approach
Authors:
Dinh Bao Truong
,
Hoang Doan
,
Vinh Khanh Doan Tran
…
Multi Objective Optimisation of an Aero Engine Rotor System Using Nondominated Sorting Genetic Algorithm (NSGA)
Authors:
Joseph Shibu Kalloor
,
Ch Kanna Babu
,
Girish K. Degaonkar
…
See all similar
Cited by
1
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
Authors:
Isabela Drămnesc
,
Tudor Jebelean
See all cited by