| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Bernhard Heinemann 14 Bernhard Heinemann: A Hybrid Treatment of Evolutionary Sets. MICAI 2002 : 204-213 13 Bernhard Heinemann: Modelling Change with the Aid of Knowledge and Time. FCT 2001 : 150-161 12 Bernhard Heinemann: About the Temporal Decrease of Sets. TIME 2001 : 234-239 11 Bernhard Heinemann: Generalizing the Modal and Temporal Logic of Linear Time. AMAST 2000 : 41-56 10 Bernhard Heinemann: Extending Topological Nexttime Logic. TIME 2000 : 87-94 9 Bernhard Heinemann: On Sets Growing Continously. FSTTCS 1999 : 420-431 8 Bernhard Heinemann: The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees. Fundamenta Informaticae 39 (3): 259-272 (1999) 7 Bernhard Heinemann: Temporal Aspects of the Modal Logic of Subset Spaces. TCS 224 (1-2): 135-155 (1999) 6 Bernhard Heinemann: Separating Sets by Modal Formulas. AMAST 1998 : 140-153 5 Bernhard Heinemann: A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. ECSQARU-FAPR 1997 : 298-310 4 Bernhard Heinemann: On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. LFCS 1997 : 145-155 3 Bernhard Heinemann: A Topological Generalization of Propositional Linear Time Temporal Logic. MFCS 1997 : 289-297 2 Bernhard Heinemann: Revisiting Knowledge and Time from a Topological Point of View. SCAI 1997 : 40-51 1 Bernhard Heinemann: On Expressive Completeness of Modal Logic. LFCS 1994 : 153-163  DiSC'02 © 2003 Association for Computing Machinery |
