Author
|
Mohammad Reza Mousavi +
, M. A. Reniers +
, J. F. Groote +
|
DOI
|
http://dx.doi.org/10.1016/j.tcs.2006.12.019 +
|
Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584525
|
EndPage
|
272 +
|
Journal
|
Theoretical Computer Science +
|
PublicationType
|
Journal Paper +
|
Publisher
|
Elsevier +
|
StartPage
|
238 +
|
Title
|
SOS formats and meta-theory : 20 years after +
|
Volume
|
373 +
|
Year
|
2007 +
|
Has queryThis property is a special property in this wiki.
|
Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
, Publications:SOS formats and meta-theory : 20 years after +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:41 +
|