1
0
0
News
IJCAR first call for papers
www.ling.helsinki.fi
— ... Subject: IJCAR first call for papers; From: "Viorica Sofronie-Stokkermans" ; Date: Thu, ... › events
AAR Newsletter #094:
www.aarinc.org
Konstantin Korovin, 13, 19, 23, 23, 28, 33. Hans de Nivelle, 22, 27, 24, 26, 19, 21. Viorica Sofronie-Stokkermans, 34, 31, 20, 23, 15, 16.
IJCAR : 10th International Joint Conference on Automated...
www.wikicfp.com
IJCAR : 10th International Joint Conference on Automated Reasoning
AAR Newsletter #109: aarinc.org › Newsletters
www.aarinc.org
On behalf of the AAR and CADE Inc., I thank Viorica Sofronie-Stokkermans for her service on the CADE board of trustees for the last three years. We are also ...
Netzwerk-Profile
LinkedIn: Viorica Sofronie-Stokkermans | Berufsprofil - LinkedIn
Viorica Sofronie-Stokkermans' berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Viorica ...
LinkedIn: Viorica Sofronie-Stokkermans - Professor - University LinkedIn
Zobrazte si profil uživatele Viorica Sofronie-Stokkermans na LinkedIn, největší profesní komunitě na světě. Viorica má na svém profilu 4 pracovní příležitosti.
Interessen
Viorica Sofronie-Stokkermans, Locality and subsumption ...philpapers.org › rec › SOFLAS-2
philpapers.org
Viorica Sofronie-Stokkermans. In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal ...
Duality and Canonical Extensions of Bounded Distributive ...
philpapers.org
von V Sofronie-Stokkermans · · Zitiert von: 51 — ... extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II · Viorica Sofronie-Stokkermans. › SOFDAC-2
Firmen-Mitarbeiter
Dr. Jandson Santos Ribeiro Santos - Fernuni Hagen
www.fernuni-hagen.de
2021; Jandson S Ribeiro, Viorica Sofronie-Stokkermans and Matthias Thimm. „Measuring Disagreement withInterpolants“. In:Proceedings of the 14th ... › team
Prof. Dr. Viorica Sofronie-Stokkermans — University of ...
www.uni-koblenz-landau.de
Lehre. Winter Semester : Forschungsemester. Vertiefung Theoretische Informatik: findet im Sommersemester statt; Decision Procedures for Verification: wird im Wintersemester von Herrn Dr. Horbach gehalten; Formal …
Team — University of Koblenz · Landau
www.uni-koblenz-landau.de
Prof. Dr. Viorica Sofronie-Stokkermans Head of the Group. B 225 + sofronie at uni-koblenz.de. Secretary. Beate Körner Secretary. Office is closed on Wednesday. B 226 + kisekr at uni-koblenz.de. Research Assistants. Dennis Peuter Research Assistant ...
Publications of Etienne Payet
lim.univ-reunion.fr
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, Proc. of the 23rd International Conference on Automated Deduction (CADE'11). Volume of ...
Private Homepages
Cesare Tinelli's Research
homepage.cs.uiowa.edu
... Smolka, Viorica Sofronie-Stokkermans, Christoph Sticksel, Aaron Stump, Geoff Sutcliffe, Nestan Tsiskaridze, Thomas Wahl, Mike Whalen, Calogero Zarba.
Ausbildung
Politeness for the Theory of Algebraic Datatypes
theory.stanford.edu
In Proceedings of the 10^th International Joint Conference on Automated Reasoning (IJCAR '20), (Nicolas Peltier and Viorica Sofronie-Stokkermans, eds.) ... › pubs
Sharing is Caring: Combination of Theories - Stanford CS ...theory.stanford.edu › ~barrett › pubs
theory.stanford.edu
In Proceedings of the 8^th International Symposium on Frontiers of Combining Systems (FroCoS '11), (Cesare Tinelli and Viorica Sofronie-Stokkermans, eds.) ...
Herkunft
Viorica Sofronie-Stokkermans - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Viorica Sofronie-Stokkermans has 2 students and 2 descendants. We welcome any additional information. If you have ...
Projekte
HOL theorem-proving system / [Hol-info] CFP: Workshop CEDAR 2008
sourceforge.net
... Dresden) - Silvio Ghilardi (U. Milano) - Miki Hermann (Ecole Polytechnique, Palaiseau) - Ulrike Sattler (U. Manchester) - Viorica Sofronie-Stokkermans (MPI, ...
Bücher
Viorica Sofronie-Stokkermans | University of Koblenz and Landau ...
typeset.io
› authors › vioric...
Verification, Model Checking, and Abstract Interpretation: ...
books.google.nl
We thank Viorica Sofronie-Stokkermans for detailed comments on drafts of this paper, as well as the original suggestion to generalize the monotonicity axiom ...
Dokumente zum Namen
SEH-PILoT: A System for Property-Directed Symbol Elimination
ceur-ws.org
von P Marohn · — 1 i.e. the function symbols in Σ are separated from the other symbols Philipp Marohn and Viorica Sofronie-Stokkermans. Page 3. constants ct ∈ ... › Vol › short2
[ ] Interpolation in local theory extensions
arxiv.org
From: Viorica Sofronie-Stokkermans [view email] [v1] Fri, 27 Jun :51:02 GMT (44kb) [v2] Thu, 16 Oct :01:02 GMT (46kb).
27th International Workshop on Description Logics
ceur-ws.org
Viorica Sofronie-Stokkermans Max-Planck Institute, Germany Giorgos Stamou National Technical University of Athens, Greece Giorgos Stoilos National Technical University of Athens, Greece Umberto Straccia ISTI-CNR, Italy David Toman University of Waterloo, Canada Dmitry Tsarkov University of Manchester, UK Anni-Yasmin Turhan TU Dresden, Germany
Wissenschaftliche Veröffentlichungen
Faber, Johannes ([2004-]) - Suche in der Hochschulbibliografie
diglib.bis.uni-oldenburg.de
Treffer von 10 — von Johannes Faber ; Carsten Ihlemann ; Swen Jacobs ; Viorica Sofronie-Stokkermans Details anzeigen. › hsb › suche
[clean-list] FroCoS 2011: Last Call for Papers
mailman.science.ru.nl
[clean-list] FroCoS 2011: Last Call for Papers. Viorica Sofronie-Stokkermans sofronie at mpi-inf.mpg.de. Mon Apr :24:13 MEST › clea...
Veröffentlichungen allgemein
Distributive lattices with operators: resolution-based decision...
at.yorku.ca
Distributive lattices with operators: resolution-based decision procedures and applications to knowledge representation by. Viorica Sofronie-Stokkermans
On Interpolation and Symbol Elimination in Theory Extensions :...
archive.org
In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory ${\cal T}_0$ with additional function symbols whose...
Artikel & Meinungen
References - Redlog
www.redlog.eu
CAV 2011, LNCS 6806, pp.686–702, 2011; Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans. Decidability and Complexity for the Verification of ... › references
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) Cesare Tinelli (University of Iowa – Iowa City, US) Auskunft zu diesem Dagstuhl-Seminar erteilt. Dagstuhl Service Team. Dokumente. Dagstuhl Report, Volume 7, Issue 9 Motivationstext Teilnehmerliste Gemeinsame Dokumente
Schloss Dagstuhl : Seminar Calendar
www.dagstuhl.de
Schloss Dagstuhl - Leibniz Center ... September 13 – 18 , 2015, Dagstuhl Seminar Information from Deduction: ... Viorica Sofronie-Stokkermans ...
Sonstiges
Peltier, Nicolas ; Sofronie-Stokkermans, Viorica - Libris
libris.nl
Cesare Tinelli ; Viorica Sofronie-Stokkermans. ISBN: , Paperback. Afwijkende levertijd: werkdagen bezorgd. › vanpiere › zoek
# Interpolation in local theory extensions
lmcs.episciences.org
von V Sofronie-Stokkermans · · Zitiert von: 41 — Viorica Sofronie-Stokkermans - Interpolation in local theory extensions. lmcs: Logical Methods in Computer Science, October 17, 2008, Volume 4, ... › ...
Arbeitsgruppen - FG DedSys - Gesellschaft für Informatik
fg-dedsys.gi.de
Viorica Sofronie-Stokkermans, Formale Methoden und Theoretische Informatik, Universität Koblenz-Landau. Linz: Armin Biere, Institute for Formal Models and ... › fachgruppe › arbeitsgruppen
BibSLEIGH — Hierarchic Reasoning in Local Theory Extensions
bibtex.github.io
Full names. Links ISxN. @inproceedings{CADE Sofronie-Stokkermans, author = "Viorica Sofronie-Stokkermans", booktitle = "{Proceedings of the 20th ... › CADE
Call for Presentations - KIT
formal.kastel.kit.edu
... Schürmann * Stephan Schulz * Gert Smolka * Viorica Sofronie-Stokkermans * Christoph Weidenbach Kontakt: * Bernhard Beckert * Thorsten ... › deduktionstreffen10 › cfp
Conferences - IJCAR
ijcar.org
Program Chairs: Viorica Sofronie-Stokkermans, Nicolas Peltier (Chairs' Report); Conference Chair: Kaustuv Chaudhuri (Chair's Report); Local Arrangements ... › conferences
Integrating Induction and Coinduction via Closure Operators ...
pure.royalholloway.ac.uk
Editors, Nicolas Peltier, Viorica Sofronie-Stokkermans. Publisher, Springer. Pages, Number of pages, 20. ISBN (Electronic), › ...
Interpolation in Local Theory Extensions - Springer Professional
www.springerprofessional.de
verfasst von : Viorica Sofronie-Stokkermans. Erschienen in: Automated Reasoning. Verlag: Springer Berlin Heidelberg. Einloggen, um Zugang zu erhalten. › interpolation-in-l...
Invited Speakers - PAS 2014
pas2014.cc4cm.org
Hoon Hong (North Carolina State University, USA) Michaël Rusinowitch (LORIA-INRIA-Lorraine, France) Viorica Sofronie-Stokkermans (University Koblenz-Landau, ... › invited
Logic and Programming | SYNASC 2017
synasc.ro
... Uppsala University, Sweden; Martina Seidl, Johannes Kepler University Linz, Austria; Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany ... › tracks › logic-an...
NP Reasoning in the Monotone \(\mu\)-Calculus (bibtex)
www8.cs.fau.de
Reference: Daniel Hausmann and Lutz Schröder: NP Reasoning in the Monotone \(\mu\)-Calculus, In Nicolas Peltier, Viorica Sofronie-Stokkermans, eds.: Automated ... › ext › bibt...
Reasoning in Complex Theories and Applications. Advanced ...
oa.mg
Read and download Reasoning in Complex Theories and Applications. Advanced Lecture, ESSLLI by Viorica Sofronie-Stokkermans on OA.mg. › work
Search Results | Library Hub - Jisc
discover.libraryhub.jisc.ac.uk
Results of 23 — Part I / Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.). Author. IJCAR (Conference) (10th : : Online). › ...
https://www.verit-solver.org/papers/cade2011.bib
www.verit-solver.org
Conference on Automated Deduction (CADE)", editors = "Nikolaj Bjørner and Viorica Sofronie-Stokkermans", publisher = "Springer", series = lncs, ... › papers
Viorica Sofronie-Stokkermans - Citações do Google Académico
scholar.google.com.br
Professor, University Koblenz-Landau and Senior Researcher, Max-Planck-Institut für Informatik, Saarbrücken. Logic, Automated reasoning, SMT, Verification.
Swen Jacobs - Google Scholar
scholar.google.cz
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus - 944 citací - Formal Methods - Verification - Synthesis - Automated...
Verwandte Suchanfragen zu Viorica Sofronie-Stokkermans
Nicolas Peltier Christoph Weidenbach Heinrich Wansing | Matthias Thimm Franz Baader René Walendy | Ursula Zeeb |
Personen Vorname "Viorica" (99) Name "Sofronie-Stokkermans" (1) |
sortiert nach Relevanz / Datum