max planck institut

informatik

informatik

MPI-INF RG1 Publications

Show all entries of: | this year (2019) | last year (2018) | two years ago (2017) | Open in Notes |
---|---|---|---|---|

Action: | login to update |

Author(s)*: | Sofronie-Stokkermans, Viorica | |
---|---|---|

BibTeX citekey*: | Sofronie-Stokkermans-hab04 | |

Language: | English |

Title*: | Algebraic and logical methods in automated theorem proving and in the study of concurrency |
---|---|

School: | Universität des Saarlandes |

Type of Thesis*: | Habilitation thesis |

Month: | November |

Year: | 2004 |

Note: | cumulative habilitation, no publication. |
---|---|

LaTeX Abstract: | Vorstellungsvortrag
------------------- |

Keywords: | Theorem proving |

Personal Comments: | Antrittsvorlesung, no publication. |

Download Access Level: | Public |

Download File(s): |

Status: | Completed |
---|---|

First Lecture Title: | Thema der Antrittsvorlesung: Automated reasoning in extensions and combinations of logical theories |

Date Kolloquium: | 24 November 2004 |

MPG Unit: | Max-Planck-Institut für Informatik |
---|---|

MPG Subunit: | Programming Logics Group |

Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort |

@PHDTHESIS{Sofronie-Stokkermans-hab04,

AUTHOR = {Sofronie-Stokkermans, Viorica},

TITLE = {Algebraic and logical methods in automated theorem proving and in the study of concurrency},

SCHOOL = {Universit{\"a}t des Saarlandes},

YEAR = {2004},

TYPE = {Habilitation thesis}

MONTH = {November},

NOTE = {cumulative habilitation, no publication.},

}

AUTHOR = {Sofronie-Stokkermans, Viorica},

TITLE = {Algebraic and logical methods in automated theorem proving and in the study of concurrency},

SCHOOL = {Universit{\"a}t des Saarlandes},

YEAR = {2004},

TYPE = {Habilitation thesis}

MONTH = {November},

NOTE = {cumulative habilitation, no publication.},

}

Entry last modified by Christine Kiesel, 03/20/2007

Editor(s)Viorica Sofronie-Stokkermans | Created03/20/2007 10:13:35 AM | |

Revisions3. 2. 1. 0. | Editor(s)Christine Kiesel Viorica Sofronie-Stokkermans Viorica Sofronie-Stokkermans Viorica Sofronie-Stokkermans | Edit Dates27.04.2005 11:38:38 04/22/2005 03:08:16 PM 04/22/2005 03:05:58 PM 04/22/2005 03:03:29 PM |