Baltasar Tranc\'on y Widemann

Identifiers

• name variant Baltasar Tranc\'on y Widemann 0.60 · backfill

Papers (8)

1. Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015) cs.PL · 2019 · author #1
2. D2d -- XML for Authors cs.PL · 2019 · author #2
3. Comments on "the return of information theory" cs.IT · 2016 · author #1
4. Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking cs.LO · 2016 · author #1
5. Scientific Modelling with Coalgebra-Algebra Homomorphisms cs.LO · 2015 · author #1
6. Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra cs.LO · 2012 · author #1
7. Solving the TTC 2011 Compiler Optimization Task with metatools cs.SE · 2011 · author #2
8. Kumaraswamy and beta distribution are related by the logistic map math.ST · 2011 · author #1

Mentions

• 1506.07290 #1 · backfill · confidence 0.70 Baltasar Tranc\'on y Widemann
• 1212.1734 #1 · backfill · confidence 0.70 Baltasar Tranc\'on y Widemann
• 1111.4744 #2 · backfill · confidence 0.70 Baltasar Tranc\'on y Widemann
• 1104.0581 #1 · backfill · confidence 0.70 Baltasar Tranc\'on y Widemann

Frequent Coauthors

• Markus Lepper 3 shared papers
• Christina Bogner 1 shared papers
• Michael Hauhs 1 shared papers