Home
Catalogue search
Refine your search:
Keyword:
Programmiersprache (6)
Mathematische Linguistik (5)
Sprachlogik (3)
Combined logics (1)
Formale Semantik (1)
Unifikationsgrammatik (1)
Creator / Publisher:
Goguen, Joseph (6)
Meseguer, José (3)
Burstall, Rod M. (1)
Year:
1988 (1)
1987 (4)
1986 (1)
Medium:
Print (6)
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 6 of 6
1
What is unification? : A categorical view of substitution, equation and solution
Goguen, Joseph
. - Stanford, Calif. : Center for the Study of Language and Information, 1988
BLLDB
UB Frankfurt Linguistik
Show details
2
One, none, a hundred thousand specification languages
Goguen, Joseph
. - Stanford, Calif. : Center for the Study of Language and Information, 1987
BLLDB
UB Frankfurt Linguistik
Show details
3
Models and equality for logical programming
Goguen, Joseph
;
Meseguer, José
. - Stanford, Calif. : Center for the Study of Language and Information, 1987
BLLDB
UB Frankfurt Linguistik
Show details
4
Order sorted algebra solves the constructor selector, multiple representation and coercion problems
Goguen, Joseph
;
Meseguer, José
. - Stanford, Calif. : Center for the Study of Language and Information, 1987
BLLDB
UB Frankfurt Linguistik
Show details
5
Unifying functional, object-oriented and relational programming with logical semantics
Goguen, Joseph
;
Meseguer, José
. - Stanford, Calif. : Center for the Study of Language and Information, 1987
BLLDB
UB Frankfurt Linguistik
Show details
6
A study in the foundations of programming methodology : specifications, institutions, charters and parchments
Burstall, Rod M.
;
Goguen, Joseph
. - Stanford, Calif. : Center for the Study of Language and Information, 1986
BLLDB
UB Frankfurt Linguistik
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
6
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
6
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
0
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern