@article{Badouel-Tchougong-Nkuimi-Jugnia-Fotsing/13,
AUTHOR = {Badouel, E. and Tchougong, R. and Nkuimi-Jugnia, C. and Fotsing, B.},
TITLE = {Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {480},
PAGES = {1-25},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {attribute grammars, tree transducers, descriptional composition, attribute evaluation, cyclic data structure, zipper},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001163},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ciabattoni-Montagna/13,
AUTHOR = {Ciabattoni, Agata and Montagna, Franco},
TITLE = {Proof theory for locally finite many-valued logics: Semi-projective logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {480},
PAGES = {26-42},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {many valued logic, analytic calculi, sequents of relations},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001126},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{DAgostino-Finger-Gabbay/13,
AUTHOR = {D'Agostino, Marcello and Finger, Marcelo and Gabbay, Dov},
TITLE = {Semantics and proof-theory of depth bounded Boolean logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {480},
PAGES = {43-68},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {boolean logic, tractability, natural deduction, automated deduction},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001230},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gurov-Huisman/13,
AUTHOR = {Gurov, Dilian and Huisman, Marieke},
TITLE = {Reducing behavioural to structural properties of programs with procedures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {480},
PAGES = {69-103},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {compositional reasoning, control-flow behaviour, control-flow structure, modal $\mu$ -calculus, program verification, safety properties},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001151},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Aminof-Kupferman-Lampert/13,
AUTHOR = {Aminof, Benjamin and Kupferman, Orna and Lampert, Robby},
TITLE = {Rigorous approximated determinization of weighted automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {480},
PAGES = {104-117},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {weighted automata, determinization, approximation},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751300114X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}