A general first-order solution to the ramification problem with cycles

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A general first-order solution to the ramification problem with cycles

Hannes StraßHannes Straß,  Michael ThielscherMichael Thielscher
Hannes Straß, Michael Thielscher
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic, 11(3):289--308, 2013
    @article{ST2013,
      author  = {Hannes Stra{\ss} and Michael Thielscher},
      title   = {A general first-order solution to the ramification problem with
                 cycles},
      journal = {Journal of Applied Logic},
      volume  = {11},
      number  = {3},
      year    = {2013},
      pages   = {289--308},
      doi     = {10.1016/j.jal.2013.05.003}
    }