@article{Berard-Cassez-Haddad-Lime-Roux/13,
AUTHOR = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Lime, D. and Roux, O.H.},
TITLE = {The expressive power of time Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {474},
PAGES = {1-20},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {time petri nets, timed automata, expressiveness, language equivalence, bisimilarity},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512010845},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Barcelo-Reutter-Libkin/13,
AUTHOR = {Barcel{\'o}, Pablo and Reutter, Juan and Libkin, Leonid},
TITLE = {Parameterized regular expressions and their languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {474},
PAGES = {21-45},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {regular expressions with variables, possibility semantics, certainty semantics, graph databases},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513000029},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gaina/13,
AUTHOR = {G{\v{a}}in{\v{a}}, Daniel},
TITLE = {Interpolation in logics with constructors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {474},
PAGES = {46-59},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {algebraic specification, institution, interpolation, constructor-based, horn logic},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751201081X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Genaim-Zanardini/13,
AUTHOR = {Genaim, Samir and Zanardini, Damiano},
TITLE = {Reachability-based acyclicity analysis by Abstract Interpretation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {474},
PAGES = {60-79},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {abstract interpretation, acyclicity analysis, termination analysis, object-oriented programming, heap manipulation},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512011115},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {see Corrigendum in Theor.~Comput.~Sci., Vol. 503, 2013, 115-115},
}
@article{Lescanne/13,
AUTHOR = {Lescanne, Pierre},
TITLE = {On counting untyped lambda terms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {474},
PAGES = {80-97},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {combinatorics, lambda calculus, functional programming, randomization, catalan numbers},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512010493},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Miller-Pimentel/13,
AUTHOR = {Miller, Dale and Pimentel, Elaine},
TITLE = {A formal framework for specifying sequent calculus proof systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {474},
PAGES = {98-116},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {logical frameworks, linear logic, sequent calculus, proof systems, cut elimination},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512010894},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}