Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 57 Treffer
- verificacion programa 57 Treffer
- verification programme 57 Treffer
- mathematics 44 Treffer
- mathematiques 44 Treffer
-
45 weitere Werte:
- demonstration theoreme 34 Treffer
- demostracion teorema 34 Treffer
- theorem proving 34 Treffer
- fonctions logiques, booleennes et de commutation 32 Treffer
- logical, boolean and switching functions 32 Treffer
- sciences and techniques of general use 31 Treffer
- sciences et techniques communes 31 Treffer
- logiciel 30 Treffer
- software 30 Treffer
- theorie type 30 Treffer
- type theory 30 Treffer
- programming theory 27 Treffer
- theorie programmation 27 Treffer
- automatic proving 26 Treffer
- demonstration automatique 26 Treffer
- demostracion automatica 26 Treffer
- logic and foundations 26 Treffer
- logique et fondements 26 Treffer
- logique mathematique, fondements, theorie des ensembles 26 Treffer
- mathematical logic, foundations, set theory 26 Treffer
- algorithmics. computability. computer arithmetics 25 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 25 Treffer
- programmation logique 25 Treffer
- logical programming 24 Treffer
- preuve programme 24 Treffer
- program proof 24 Treffer
- programacion logica 24 Treffer
- prueba programa 24 Treffer
- computer theory 20 Treffer
- informatica teorica 20 Treffer
- proof theory 18 Treffer
- teoria demonstracion 18 Treffer
- theorie preuve 18 Treffer
- proof theory and constructive mathematics 17 Treffer
- theorie de la preuve et mathematiques constructives 17 Treffer
- formal verification 16 Treffer
- verification formelle 16 Treffer
- coq 14 Treffer
- language theory and syntactical analysis 14 Treffer
- theorie des langages et analyse syntaxique 14 Treffer
- general 13 Treffer
- generalites 13 Treffer
- formal method 12 Treffer
- methode formelle 12 Treffer
- semantica 12 Treffer
Verlag
Publikation
- lecture notes in computer science 66 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 8 Treffer
- theoretical computer science 7 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- formal aspects of computing 5 Treffer
-
45 weitere Werte:
- jfla 2001 : journees francophones des langages applicatifs (pontcarlier, 29-30 janvier 2001 ) 5 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 5 Treffer
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 4 Treffer
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 4 Treffer
- acm sigplan notices 3 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 3 Treffer
- tsi. technique et science informatiques 3 Treffer
- types 2002 : types for proofs and programs (berg en dal, 24-28 april 2002, selected papers) 3 Treffer
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- 0flops 2006 2 Treffer
- acta informatica 2 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 2 Treffer
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 2 Treffer
- higher-order and symbolic computation (print) 2 Treffer
- information and computation (print) 2 Treffer
- jfla 2002 : journees francophones des langages applicatifs (anglet, 28-29 janvier 2002) 2 Treffer
- journal of automated reasoning 2 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 2 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 2 Treffer
- tphols 2004 : theorem proving in higher order logics (park city ut, 14-17 september 2004) 2 Treffer
- tphols 2005 : theorem proving in higher order logics (oxford, 22-25 august 2005) 2 Treffer
- tphols'99 : theorem proving in higher order logics (nice, 14-17 september 1999) 2 Treffer
- 0lpar 2005 1 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- advances in computing science - asian'99 (phuket,december 10-12 1999) 1 Treffer
- applied semantics: selected topics 1 Treffer
- automata, languages and programming (icalp 2005) 1 Treffer
- automata, languages and programming (prague, 11-15 july 1999) 1 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 1 Treffer
- communications of the acm 1 Treffer
- computer aided systems theory - eurocast 2001 (las palmas de gran canaria, 19-23 february 2001, selected & revised papers ) 1 Treffer
- computer aided systems theory - eurocast 2005 (10th international conference on computer aided systems theory, las palmas de gran canaria, spain, february 7-11, 2005, revised selected papers) 1 Treffer
- computer aided systems theory : eurocast 2003 (las palmas de gran canaria, 24-28 february 2003, revised selected papers) 1 Treffer
- csl 2001 : computer science logic (paris, 10-13 september 2001) 1 Treffer
- csl 2005 : computer science logic (oxford, 22-25 august 2005) 1 Treffer
- journal of symbolic computation 1 Treffer
- journal of the association for computing machinery 1 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 1 Treffer
- logic in computer science (copenhagen, 22-25 july 2002) 1 Treffer
- lpar 2001 : logic for programming, artificial intelligence, and reasoning (havana, 3-7 december 2001) 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
Sprache
108 Treffer
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 200-219KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31KonferenzZugriff:
-
In: TACS 2001 : theoretical aspects of computer software (Sendai, 29-31 October 2001), 2001, S. 298-315KonferenzZugriff:
-
In: Computer aided systems theory - EUROCAST 2001 (Las Palmas de Gran Canaria, 19-23 February 2001, selected & revised papers ), 2001, S. 583-596KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 154-168KonferenzZugriff:
-
In: TPHOLs'99 : theorem proving in higher order logics (Nice, 14-17 September 1999), 1999, S. 91-108KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 362-377KonferenzZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 245-260KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 309-323KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 130-146KonferenzZugriff:
-
In: TLCA 2003 : typed lambda calculi and applications (Valencia, 10-12 June 2003), 2003, S. 271-285KonferenzZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 95-107KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006), 2006, S. 114-129KonferenzZugriff: