Suggested Topics within your search.
Showing 1 - 3 results of 3 for search '', query time: 0.18s Refine Results
1
Systems of reductions /
by Benninghofen, B. (Benjamin), 1958-
Berlin ; New York : Springer-Verlag, 1987

Book
2
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book
3
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1989

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search