Skip to contents Ghilardi, Silvio [Editor]; Sebastiani, Roberto [Other] ; FroCoS 7 2009 Trient Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5749 Ghilardi, Silvio [Author]; Zawadowski, Marek [Author] Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Academic Publishers, 2002 Published in: Trends in logic ; 14 Ghilardi, Silvio [Author] ; Sebastiani, Roberto [Other] Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009 Published in: Lecture notes in computer science ; 5749 Ghilardi, Silvio [Author] ; Zawadowski, Marek [Other] Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Springer, 2002 Published in: Trends in Logic, Studia Logica Library ; 14- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Baader, Franz [Author]; Ghilardi, Silvio [Author] Connecting many-sorted theories Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2005 Published in: LTCS-Report ; 05,4 Bruttomesso, Roberto [Author]; Ghilardi, Silvio [Author]; Ranise, Silvio [Author] ; Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise [Contributor] Rewriting-based Quantifier-free Interpolation for a Theory of Arrays Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81 Baader, Franz [Author]; Ghilardi, Silvio [Author]; Lutz, Carsten [Author] LTL over Description Logic Axioms Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2008 Published in: LTCS-Report ; 08,1 Baader, Franz [Author]; Ghilardi, Silvio [Author]; Tinelli, Cesare [Author] A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2003 Published in: LTCS-Report ; 03,5 Ghilardi, Silvio [Author]; Ranise, Silvio [Author]; Nicolini, Enrica [Author]; Zucchelli, Daniele [Author] ; Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli [Contributor] From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007 Zucchelli, Daniele [Author] ; Nancy 1 [Contributor]; Università degli studi (Milan, Italie) [Contributor]; Rusinowitch, Michaël [Contributor]; Ghilardi, Silvio [Contributor]; Ranise, Silvio [Contributor] Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2008-01-22 Castellanos Joo, Jose Abel [Author]; Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2021 Published in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 40-52 Ghilardi, Silvio Book Reviews Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2010 Published in: Studia Logica, 95 (2010) 3, Seite 443-448 Ghilardi, Silvio Continuity, freeness, and filtrations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2010 Published in: Journal of Applied Non-Classical Logics, 20 (2010) 3, Seite 193-217 Ghilardi, Silvio Review: Quantification in Nonclassical Logic, volume I, Studies in Logics and the Foundations of Mathematics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer, 2010 Published in: Studia Logica: An International Journal for Symbolic Logic, 95 (2010) 3, Seite 447-448 Ghilardi, Silvio Model-Theoretic Methods in Combined Constraint Satisfiability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2004 Published in: Journal of Automated Reasoning, 33 (2004) 3-4, Seite 221-249 Ghilardi, Silvio Unification, finite duality and projectivity in varieties of Heyting algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2004 Published in: Annals of Pure and Applied Logic, 127 (2004) 1-3, Seite 99-115 Ghilardi, Silvio Quantifier Elimination and Provers Integration Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2003 Published in: Electronic Notes in Theoretical Computer Science, 86 (2003) 1, Seite 22-34 Ghilardi, Silvio Best solving modal equations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2000 Published in: Annals of Pure and Applied Logic, 102 (2000) 3, Seite 183-198 Ghilardi, Silvio Unification in intuitionistic logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 1999 Published in: Journal of Symbolic Logic, 64 (1999) 2, Seite 859-880
Ghilardi, Silvio [Editor]; Sebastiani, Roberto [Other] ; FroCoS 7 2009 Trient Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5749
Ghilardi, Silvio [Author]; Zawadowski, Marek [Author] Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Academic Publishers, 2002 Published in: Trends in logic ; 14
Ghilardi, Silvio [Author] ; Sebastiani, Roberto [Other] Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009 Published in: Lecture notes in computer science ; 5749
Ghilardi, Silvio [Author] ; Zawadowski, Marek [Other] Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Springer, 2002 Published in: Trends in Logic, Studia Logica Library ; 14- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Baader, Franz [Author]; Ghilardi, Silvio [Author] Connecting many-sorted theories Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2005 Published in: LTCS-Report ; 05,4
Bruttomesso, Roberto [Author]; Ghilardi, Silvio [Author]; Ranise, Silvio [Author] ; Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise [Contributor] Rewriting-based Quantifier-free Interpolation for a Theory of Arrays Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81
Baader, Franz [Author]; Ghilardi, Silvio [Author]; Lutz, Carsten [Author] LTL over Description Logic Axioms Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2008 Published in: LTCS-Report ; 08,1
Baader, Franz [Author]; Ghilardi, Silvio [Author]; Tinelli, Cesare [Author] A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2003 Published in: LTCS-Report ; 03,5
Ghilardi, Silvio [Author]; Ranise, Silvio [Author]; Nicolini, Enrica [Author]; Zucchelli, Daniele [Author] ; Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli [Contributor] From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
Zucchelli, Daniele [Author] ; Nancy 1 [Contributor]; Università degli studi (Milan, Italie) [Contributor]; Rusinowitch, Michaël [Contributor]; Ghilardi, Silvio [Contributor]; Ranise, Silvio [Contributor] Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2008-01-22
Castellanos Joo, Jose Abel [Author]; Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2021 Published in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 40-52
Ghilardi, Silvio Book Reviews Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2010 Published in: Studia Logica, 95 (2010) 3, Seite 443-448
Ghilardi, Silvio Continuity, freeness, and filtrations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2010 Published in: Journal of Applied Non-Classical Logics, 20 (2010) 3, Seite 193-217
Ghilardi, Silvio Review: Quantification in Nonclassical Logic, volume I, Studies in Logics and the Foundations of Mathematics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer, 2010 Published in: Studia Logica: An International Journal for Symbolic Logic, 95 (2010) 3, Seite 447-448
Ghilardi, Silvio Model-Theoretic Methods in Combined Constraint Satisfiability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2004 Published in: Journal of Automated Reasoning, 33 (2004) 3-4, Seite 221-249
Ghilardi, Silvio Unification, finite duality and projectivity in varieties of Heyting algebras Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2004 Published in: Annals of Pure and Applied Logic, 127 (2004) 1-3, Seite 99-115
Ghilardi, Silvio Quantifier Elimination and Provers Integration Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2003 Published in: Electronic Notes in Theoretical Computer Science, 86 (2003) 1, Seite 22-34
Ghilardi, Silvio Best solving modal equations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2000 Published in: Annals of Pure and Applied Logic, 102 (2000) 3, Seite 183-198
Ghilardi, Silvio Unification in intuitionistic logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 1999 Published in: Journal of Symbolic Logic, 64 (1999) 2, Seite 859-880
> Media type Skip to next facet Articles (112) Wert ausschließen Books (7) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Availability Skip to next facet Stack Collection (1) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (3) Wert ausschließen Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (38) Wert ausschließen Without Specification (80) Wert ausschließen Show more show less
> Language Skip to next facet English (81) Wert ausschließen Not determined (39) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (29) Wert ausschließen Mathmatics (28) Wert ausschließen Philosophy (6) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Technology (4) Wert ausschließen Physics (3) Wert ausschließen General (1) Wert ausschließen Geography (1) Wert ausschließen History (1) Wert ausschließen Art and art history (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Ghilardi, Silvio (109) Wert ausschließen Ranise, Silvio (22) Wert ausschließen Gianola, Alessandro (18) Wert ausschließen Alberti, Francesco (13) Wert ausschließen Baader, Franz (10) Wert ausschließen Montali, Marco (10) Wert ausschließen Rivkin, Andrey (10) Wert ausschließen Sharygina, Natasha (10) Wert ausschließen Bruttomesso, Roberto (9) Wert ausschließen Calvanese, Diego (8) Wert ausschließen Zucchelli, Daniele (8) Wert ausschließen Nicolini, Enrica (7) Wert ausschließen Pagani, Elena (7) Wert ausschließen Zawadowski, Marek (7) Wert ausschließen Bezhanishvili, Nick (5) Wert ausschließen Kapur, Deepak (5) Wert ausschließen Santocanale, Luigi (4) Wert ausschließen Chiappe, Cinzia (3) Wert ausschließen Ghilardi, Renato Pirani (3) Wert ausschließen Ghilardi, Tiziana (3) Wert ausschließen Jibladze, Mamuka (3) Wert ausschließen Meloni, Giancarlo (3) Wert ausschließen Pomelli, Christian Silvio (3) Wert ausschließen Tinelli, Cesare (3) Wert ausschließen BECKER-KERBER, BRUNO (2) Wert ausschließen BENINI, VICTORIA GIOPATO (2) Wert ausschließen BUCK, PEDRO VICTOR (2) Wert ausschließen Bezhanishvili, Guram (2) Wert ausschließen Bruschi, Danilo (2) Wert ausschließen CURADO, JESSICA FLEURY (2) Wert ausschließen Carioni, Alessandro (2) Wert ausschließen Di Pasquale, Andrea (2) Wert ausschließen GALANTE, DOUGLAS (2) Wert ausschließen GHILARDI, RENATO PIRANI (2) Wert ausschließen GHILARDI, SILVIO (2) Wert ausschließen Gabelaia, David (2) Wert ausschließen Gouveia, Maria João (2) Wert ausschließen Lanzi, Andrea (2) Wert ausschließen Limeira Junior, Silvio Cesar Marqui (2) Wert ausschließen Lutz, Carsten (2) Wert ausschließen ONARY-ALVES, SILVIO YUJI (2) Wert ausschließen OSÉS, GABRIEL LADEIRA (2) Wert ausschließen PACHECO, MÍRIAN LIZA ALVES FORANCELLI (2) Wert ausschließen RANGEL, ELIDIANE CIPRIANO (2) Wert ausschließen RODRIGUES, FABIO (2) Wert ausschließen ROMERO, GUILHERME RAFFAELI (2) Wert ausschließen RUDNITZKI, ISAAC DANIEL (2) Wert ausschließen Sacchetti, Lorenzo (2) Wert ausschließen Sebastiani, Roberto (2) Wert ausschließen Accettura, Caterina (1) Wert ausschließen Aieta, Michele (1) Wert ausschließen Alberti, Martina (1) Wert ausschließen Aliprandi, Marta (1) Wert ausschließen Altavilla, Amelia (1) Wert ausschließen Antonuzzo, Lorenzo (1) Wert ausschließen Artemi, Adele (1) Wert ausschließen Arundine, Dario (1) Wert ausschließen Astore, Serena (1) Wert ausschließen Attademo, Laura (1) Wert ausschließen Atzori, Francesco (1) Wert ausschließen Aurilio, Gaetano (1) Wert ausschließen Azzariti, Amalia (1) Wert ausschließen Baciarello, Giulia (1) Wert ausschließen Baier, Susanne (1) Wert ausschließen Baldazzi, Valentina (1) Wert ausschließen Banna, Giuseppe L (1) Wert ausschließen Barile, Carmen (1) Wert ausschließen Barra, Salvina (1) Wert ausschließen Barraco, Chiara (1) Wert ausschließen Barsanti, Alessandra Caterina (1) Wert ausschließen Basile, Debora (1) Wert ausschließen Bassanelli, Maria (1) Wert ausschließen Basso, Umberto (1) Wert ausschließen Bauckneht, Matteo (1) Wert ausschließen Baumann-Di Lábio, Débora Eliza Henriques (1) Wert ausschließen Bearz, Alessandra (1) Wert ausschließen Bellia, Salvatore R (1) Wert ausschließen Benedetti, Benedetta (1) Wert ausschließen Berardi, Rossana (1) Wert ausschließen Bergamini, Marco (1) Wert ausschließen Bersanelli, Melissa (1) Wert ausschließen Bertoni, Maria (1) Wert ausschließen Bianchi, Emanuela (1) Wert ausschließen Biasini, Claudia (1) Wert ausschließen Bidin, Livia (1) Wert ausschließen Bimbatti, Davide (1) Wert ausschließen Bleve, Sara (1) Wert ausschließen Boccardo, Francesco (1) Wert ausschließen Bolzacchini, Elena (1) Wert ausschließen Bonacina, Maria Paola (1) Wert ausschließen Bonato, Adele (1) Wert ausschließen Bonomi, Lucia (1) Wert ausschließen Bordonaro, Sebastiano (1) Wert ausschließen Borghesi, Marco (1) Wert ausschließen Bortolini, Olga (1) Wert ausschließen Bortolus, Roberto (1) Wert ausschließen Bortot, Lucia (1) Wert ausschließen Bosso, Davide (1) Wert ausschließen Bottiglieri, Achille (1) Wert ausschließen Bozza, Giovanni (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (21) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (14) Wert ausschließen Elsevier BV (CrossRef) (13) Wert ausschließen Springer International Publishing (CrossRef) (12) Wert ausschließen JSTOR Mathematics & Statistics (11) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (10) Wert ausschließen Verbunddaten SWB (9) Wert ausschließen JSTOR Arts & Sciences I Archive (6) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (5) Wert ausschließen JSTOR Arts & Sciences VII Archive (5) Wert ausschließen Lizenzfreie Online-Ressourcen (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (3) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Qucosa (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Medical Association (AMA) (CrossRef) (1) Wert ausschließen Duke University Press (CrossRef) (1) Wert ausschließen Elsevier (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (1) Wert ausschließen Sociedade Brasileira de Paleontologia (CrossRef) (1) Wert ausschließen Society for Sedimentary Geology (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less