Schmitt, Peter H., 1948-....

Schmitt, P. H. (Peter H.), 1948-

Schmitt, P. H.

Schmitt, Peter H.

Peter Schmitt deutscher Informatiker

VIAF ID: 27167817 (Personal)

Permalink: http://viaf.org/viaf/27167817

Preferred Forms

100 0 _ ‎‡a Peter Schmitt‏ ‎‡c deutscher Informatiker‏
200 _ | ‎‡a Schmitt‏ ‎‡b Peter H.‏ ‎‡f 1948-....‏
100 1 _ ‎‡a Schmitt, P. H.‏
100 1 0 ‎‡a Schmitt, P. H.‏ ‎‡q (Peter H.),‏ ‎‡d 1948-‏
100 1 _ ‎‡a Schmitt, P. H.‏ ‎‡q (Peter H.),‏ ‎‡d 1948-‏
100 1 _ ‎‡a Schmitt, P. H.‏ ‎‡q (Peter H.),‏ ‎‡d 1948-‏
100 1 _ ‎‡a Schmitt, P. H.‏ ‎‡q (Peter H.),‏ ‎‡d 1948-‏
100 1 _ ‎‡a Schmitt, Peter H.‏
100 1 _ ‎‡a Schmitt, Peter H.‏ ‎‡d (1948- ).‏
100 1 _ ‎‡a Schmitt, Peter H.‏ ‎‡d 1948-‏
100 1 _ ‎‡a Schmitt, Peter H.‏ ‎‡d 1948-...‏
100 1 _ ‎‡a Schmitt, Peter H.,‏ ‎‡d 1948-....‏

4xx's: Alternate Name Forms (9)

5xx's: Related Names (1)

510 2 _ ‎‡a Universität Karlsruhe‏ ‎‡b Fakultät für Informatik‏ ‎‡e Affiliation‏

Works

Title	Sources
Automated deduction : a basis for applications
calculus for order sorted predicate logic with sort literals
Computational aspects of three-valued logic
Deductive Software Verification – The KeY Book From Theory to Practice
dreiwertige Logik zur Verarbeitung partieller Information
formal operational semantics for PROLONG III using dynamic algebras
Implementing semantic tableaux
improved rule for while loops in deductive program verification
Mathematical logic and artificial intelligence
Model checking for energy efficient scheduling in wireless sensor networks
Model theory of ordered abelian groups
Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken Seminar WS 89/90
Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
On the computational complexity of quantified Horn clauses
Proving WAM compiler correctness
Theorie der logischen Programmierung eine elementare Einführung
Verification of object-oriented software : the KeY approach

Selected Co-authors

Bibel, Wolfgang, 1938- ‎(17)
Brewka, Gerhard. ‎(11)
Hähnle, Reiner ‎(9)
Dix, Jürgen. ‎(9)
Jantke, Klaus Peter (1951-....). ‎(8)
Beckert, Bernhard ‎(8)
Jantke, Klaus P. ‎(5)
Ulbrich, Mattias ‎(2)
Jantke, K. P. (Klaus P.) ‎(1)
Heidelberg, Univ ‎(1)

Countries and Regions of Publication (4)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

DE - Germany (33)
NL - Netherlands (9)
CH - Switzerland (3)
NC - (1)

Record ID	Action	Time
BNF\|12481082	add	2009-03-03T12:03:20+00:00
LC\|n 91083199	add	2009-03-03T12:03:35+00:00
NII\|DA05825027	delete	2010-11-16T05:07:53+00:00
DNB\|111949211	add	2012-11-27T04:00:16+00:00
BIBSYS\|x90555390	delete	2012-11-27T04:00:16+00:00
SUDOC\|111814170	add	2012-11-27T04:00:16+00:00
NTA\|172335892	add	2012-12-19T19:11:18+00:00
ISNI\|000000010882036X	add	2013-09-16T16:15:07+00:00
NUKAT\|n 99020082	add	2014-10-27T16:17:29+00:00
DNB\|1052305768	delete	2016-02-13T19:29:37.479394+00:00
BIBSYS\|90555390	add	2017-04-01T12:03:11.561834+00:00
DNB\|177354828	delete	2017-06-25T18:34:41.834868+00:00
J9U\|987007439985905171	add	2020-02-02T17:55:33.898487+00:00
NLI\|002250178	delete	2020-04-12T13:50:37.136241+00:00
CAOONL\|ncf11232076	add	2020-07-30T09:14:53.299717+00:00
WKP\|Q102078681	add	2021-11-28T10:26:31.488312+00:00
NKC\|stk2007393779	delete	2022-06-26T14:51:45.404049+00:00
NLA\|000035991450	add	2023-08-20T23:49:21.507793+00:00

VIAF

Virtual International Authority File

Search

Schmitt, Peter H., 1948-....

Schmitt, P. H. (Peter H.), 1948-

Schmitt, P. H.

Schmitt, Peter H.

Peter Schmitt deutscher Informatiker

VIAF ID: 27167817 (Personal)

Permalink: http://viaf.org/viaf/27167817

Preferred Forms

4xx's: Alternate Name Forms (9)

5xx's: Related Names (1)

Works

Selected Co-authors

Countries and Regions of Publication (4)

Publication Statistics

Publication History

Identifiers

Selected Publishers (8)

About

Personal Information

Gender : Male

Nationality or associated country:

Language:

External Links

Record Views

History of VIAF ID:27167817 (18)