@article{Bezhanishvili-Hodkinson/12,
AUTHOR = {Bezhanishvili, Nick and Hodkinson, Ian},
TITLE = {Sahlqvist theorem for modal fixed point logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {424},
PAGES = {1-19},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {modal mu-calculus, completeness, correspondence, descriptive frame},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009455},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ehrhard/12,
AUTHOR = {Ehrhard, Thomas},
TITLE = {The Scott model of linear logic is the extensional collapse of its relational model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {424},
PAGES = {20-45},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {denotational semantics, linear logic, lambda-calculus},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009467},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Golas-Lambers-Ehrig-Orejas/12,
AUTHOR = {Golas, Ulrike and Lambers, Leen and Ehrig, Hartmut and Orejas, Fernando},
TITLE = {Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {424},
PAGES = {46-68},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {typed attributed graph transformation, critical pair analysis, inheritance, m -adhesive category with nacs},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512000680},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}