Article1579763891

PublikationenPublications

• Nach AutorBy Author
  • Hannes StraßHannes Straß
• Nach ForschungsgruppeBy Research Group

Toggle side column

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

Hannes StraßHannes Straß,  Michael ThielscherMichael Thielscher

• Download
• DOI Link

Hannes Straß, Michael Thielscher
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic, 11(3):289--308, 2013

• Details
• Bibtex

@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}
}