Mikołaj Bojańczyk

Algebra for infinite trees


July 14, 2015
  1. Mikołaj Bojańczyk, Tomasz Idziaszek
    Algebra for Infinite Forests with an Application to the Temporal Logic EF. CONCUR, 2009   PDF

  2. Mikołaj Bojańczyk, Thomas Place
    Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets. ICALP (2), 2012   PDF

  3. Mikołaj Bojańczyk, Tomasz Idziaszek, Michal Skrzypczak
    Regular languages of thin trees. STACS, 2013   PDF

There are algebras for finite words (monoids or semigroups), infinite words (e.g. ω-semigroups or Wilke semigroups) and finite trees (e.g. clones or forest algebras). What about infinite trees? In [1] we propose a notion of algebra for infinite trees, which is an extension of forest algebra. It is not completely satisfactory (there is no result that finite algebras can be represented in a finite way), but it is good enough to characterize some logics, e.g. the temporal logic EF. The paper [2] continues the study of algebras for infinite trees, by giving a structural characterization of some random logic (namely, Boolean combinations of sets that are open in the Borel topology). The idea is to learn what kind of structural theory of regular tree languages is needed to do nontrivial characterizations. Finally, the last paper [3] shows that most of the technical problems go away when considering thin trees, which are infinite trees with countably many branches.

 

COMMENTS

Maryland

May 9, 2019

baufinanzierung vergleich

Kyanna

April 9, 2019

car insurance quotes Houston TX

Rowdy

April 8, 2019

priser på viagra super

Zariel

April 6, 2019

naturlig viagra plus

Coralee

April 3, 2019

tomat viagra apotek

Heidi

March 26, 2019

http://immobilienkreditbiz.club/

Lesa

March 22, 2019

http://autokreditnet.club/autokredit.html

Janisa

March 19, 2019

cheap auto insurance Warner Robins GA

Jennabel

March 17, 2019

http://www.katjakrizan.com/günstige-kfz-versicherung.html

Seston

March 13, 2019

low income auto insurance Fargo ND

Raynoch

March 13, 2019

cheap car insurance Union City NJ

Katherine

March 12, 2019

http://www.katjakrizan.com/günstige-kfz-versicherung.html

Sharleena

March 10, 2019

low income car insurance dmv Greenwich CT

Trevon

February 26, 2019

privatkredit

Dollie

February 21, 2019

kredit online

Olivia

February 13, 2019

http://www.autofinanzierungcom.pw/

Delly

February 13, 2019

http://kreditrechnertop.info/kreditrechner.html

Rowdy

February 6, 2019

kfz versicherung vergleichen

Rowdy

January 24, 2019

http://kfzversicherungvergleichtech.pw/kfz-versicherung-preisvergleich.html

Vicki

January 22, 2019

http://immobilienkredit.club/baukredit-vergleich.html

Katty

January 9, 2019

http://kfzversicherungvergleichtech.pw/kfz-versicherung-vergleichen.html

Howdy

January 5, 2019

kredite online berechnen

Valjean

December 25, 2018

http://immobilienkreditbiz.club/baufinanzierung-vergleich.html

Kristy

December 9, 2018

kredite online berechnen

Makaela

November 20, 2018

list of auto insurances in Irvine CA

Kaydence

November 20, 2018

auto insurance Thomasville NC

Jeanne

May 10, 2017

hypixel coin generator

Cordelia

May 8, 2017

http://autofinanzierungcom.pw/gebrauchtwagen-finanzierung.html

Namari

April 20, 2017

fifa ultimate

Mellie

April 10, 2017

low income car insurance dmv League City TX

Marnie

March 31, 2017

privatkredit vergleich

Mildred

March 7, 2017

http://www.takebuseleven.com/insurance-dallas.html

Lilly

February 22, 2017

http://onsetwithjaslene.com/what-do-you-need-to-insure-a-car-in-ny.html

Leave a Reply

Your email address will not be published.