default search action

combined dblp search
author search
venue search
publication search

ask others

Hans-Albert Schneider

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1991
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vis/EstenfeldSTT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vis/EstenfeldSTT91
Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén:
Computer Aided Verification of Parallel Processes. VIS 1991: 208-226
1990
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/aaecc/ButtnerESST90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aaecc/ButtnerESST90
Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén:
Symbolic Constraint Handling Through Unification in Finite Algebras. Appl. Algebra Eng. Commun. Comput. 1: 97-118 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SchmidSF89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SchmidSF89
Richard Schmid, Hans-Albert Schneider, Thomas Filkorn:
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. J. Autom. Reason. 5(3): 403-408 (1989)
1986
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Schneider86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Schneider86
Hans-Albert Schneider:
An Improvement of Deduction Plans: Refutation Plans. CADE 1986: 377-383
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/conpar/SchneiderD86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conpar/SchneiderD86
Hans-Albert Schneider, Werner Dilger:
Information Processing with Associative Processors. CONPAR 1986: 222-229
1985
[c2]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/DilgerS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DilgerS85
Werner Dilger, Hans-Albert Schneider:
ASSIP-T: A Theorem-Proving Machine. IJCAI 1985: 1194-1200
1984
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fgcs/DilgerS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgcs/DilgerS84
Werner Dilger, Hans-Albert Schneider:
ASSIP-T: A Theorem Proving Machine. FGCS 1984: 497-506

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.