Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

A Sequent Calculus for First-order Dynamic Logic with Trace Modalities

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Steffen Schlager
In:First International Joint Conference on Automated Reasoning (IJCAR 2001)
Publisher:Springer
Series:LNCS
Volume:2083
Year:2001
Pages:626-641
DOI:10.1007/3-540-45744-5_51

BibTeX

@InProceedings{BeckertSchlager2001,
  author =       {Bernhard Beckert and Steffen Schlager},
  title =        {A Sequent Calculus for  First-order Dynamic Logic with
		  Trace Modalities},
  booktitle =    {First International Joint Conference on
		  Automated Reasoning ({IJCAR} 2001)},
  place =        {Siena, Italy},
  editor =       {R. Gor\`e and A. Leitsch and T. Nipkow},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2083},
  pages =        {626--641},		  
  year =         {2001},
  month =        jun,
  date =         {June 18-23},
  doi =          {10.1007/3-540-45744-5_51}
}