VIAF

Virtual International Authority File

Search

Leader     00000nz a2200037oc 45 0
001     DNB|1157227279  (VIAF cluster)
003     DNB
005     20220121165825.0
008     180504n||aznnnaabn | aaa |c
035 ‎‡a  (DNB)1157227279‏
024 7 ‎‡a  1157227279‏ ‎‡0  http://d-nb.info/gnd/1157227279‏ ‎‡2  gnd‏
024 7 ‎‡a  0000-0001-8809-7385‏ ‎‡9  v:Herkunft: cg001‏ ‎‡2  orcid‏
035 ‎‡a  (DE-101)1157227279‏
035 ‎‡a  (DE-588)1157227279‏
040 ‎‡a  DE-601‏ ‎‡c  DE-601‏ ‎‡9  r:DE-601‏ ‎‡b  ger‏ ‎‡d  9999‏ ‎‡e  rakwb‏ ‎‡f  rswk‏
042 ‎‡a  gnd6‏
043 ‎‡c  ZZ‏
075 ‎‡b  p‏ ‎‡2  gndgen‏
075 ‎‡b  piz‏ ‎‡2  gndspec‏
079 ‎‡a  g‏ ‎‡q  f‏ ‎‡u  v‏
100 1 ‎‡a  Schmidt-Schauß, Manfred‏
400 1 ‎‡a  Schauß, Manfred S.-‏
672 0 ‎‡a  Computational aspects of an order-sorted logic with term declarations. - 1988‏
901 ‎‡a  978354051705‏ ‎‡9  1‏
901 ‎‡a  978038751705‏ ‎‡9  1‏
909 ‎‡a  (gnd) 1157227279‏ ‎‡9  1‏
909 ‎‡a  (orcid) 0000000188097385‏ ‎‡9  1‏
910 ‎‡a  spaceimprovementsfortotalgarbagecollection‏ ‎‡A  Space improvements for total garbage collection‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  computationalaspectsofanordersortedlogicwithtermdeclarations‏ ‎‡A  Computational aspects of an order sorted logic with term declarations‏ ‎‡l  eng‏ ‎‡9  3‏
910 ‎‡a  subsumptioninkl1isundecidable‏ ‎‡A  Subsumption in KL-One is Undecidable‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  spaceimprovementsandequivalencesinapolymorphicallytypedfunctionalcorelanguagecontextlemmasandproofs‏ ‎‡A  Space improvements and equivalences in a polymorphically typed functional core language: context lemmas and proofs‏ ‎‡l  eng‏ ‎‡9  3‏
910 ‎‡a  embeddingthepicalculusintoaconcurrentfunctionalprogramminglanguage‏ ‎‡A  Embedding the pi-calculus into a concurrent functional programming language‏ ‎‡l  eng‏ ‎‡9  5‏
910 ‎‡a  unificationalgebrasanaxiomaticapproachtounificationequationsolvingandconstraintsolving‏ ‎‡A  Unification Algebras‏ ‎‡b  an Axiomatic Approach to Unification, Equation Solving and Constraint Solving‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  unificationinacombinationofarbitrarydisjointequationaltheories‏ ‎‡A  Unification in a Combination of Arbitrary Disjoint Equational Theories‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  mechanicalgenerationofsortsinclausesets‏ ‎‡A  Mechanical Generation of Sorts in Clause Sets‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  unificationinpermutativeequationaltheoriesisundecidable‏ ‎‡A  Unification in Permutative Equational Theories is Undecidable‏ ‎‡l  eng‏ ‎‡9  1‏
920 ‎‡a  978-35405‏ ‎‡9  1‏
920 ‎‡a  978-038‏ ‎‡9  1‏
921 ‎‡a  universitatsbibliothek johann christian senckenberg‏ ‎‡b  Universitätsbibliothek Johann Christian Senckenberg‏ ‎‡9  9‏
921 ‎‡a  springer‏ ‎‡b  Springer‏ ‎‡9  1‏
921 ‎‡a  saarlandische universitats und landesbibliothek‏ ‎‡b  Saarländische Universitäts- und Landesbibliothek‏ ‎‡9  6‏
922 ‎‡a  gw‏ ‎‡b  de‏ ‎‡9  17‏
930 ‎‡a  manfred schmidt schauss‏ ‎‡c  Manfred Schmidt-Schauß, Nils Dallmeyer‏ ‎‡9  15‏
930 ‎‡a  m schmidt schauss‏ ‎‡c  M. Schmidt-Schauss‏ ‎‡9  1‏
940 ‎‡a  eng‏ ‎‡9  32‏
940 ‎‡a  ger‏ ‎‡9  2‏
943 ‎‡a  201x‏ ‎‡9  6‏
943 ‎‡a  198x‏ ‎‡9  2‏
944 ‎‡a  am‏ ‎‡9  17‏
947 ‎‡a  ZZ‏ ‎‡9  1‏
950 ‎‡a  dallmeyer nils‏ ‎‡A  Dallmeyer, Nils‏ ‎‡9  4‏
950 ‎‡a  sabel david‏ ‎‡A  Sabel, David‏ ‎‡d  1977-‏ ‎‡9  5‏
950 ‎‡a  siekmann jorg h‏ ‎‡A  Siekmann, Jörg H.‏ ‎‡d  1941-‏ ‎‡9  1‏
996 ‎‡2  BIBSYS|90350632‏
996 ‎‡2  ISNI|000000010782094X‏
996 ‎‡2  W2Z|1602157054178‏
996 ‎‡2  WKP|Q95305355‏
996 ‎‡2  RERO|A017123185‏
996 ‎‡2  DE633|pe41010321‏
996 ‎‡2  J9U|987007439827605171‏
996 ‎‡2  NTA|142117412‏
996 ‎‡2  LC|no2007137579‏
996 ‎‡2  WKP|Q88834596‏
996 ‎‡2  NTA|239749464‏
996 ‎‡2  ISNI|0000000072350182‏
996 ‎‡2  NII|DA17734971‏
996 ‎‡2  LC|n 83165579‏
996 ‎‡2  BAV|495_296049‏
996 ‎‡2  SIMACOB|73454179‏
996 ‎‡2  ISNI|0000000026623362‏
996 ‎‡2  LC|n 2004066111‏
996 ‎‡2  ISNI|0000000031839619‏
996 ‎‡2  NTA|314572503‏
996 ‎‡2  DBC|87097992074994‏
996 ‎‡2  BNF|15335949‏
996 ‎‡2  LC|no2004035072‏
996 ‎‡2  LC|n 83012945‏
996 ‎‡2  DE633|pe30052705‏
996 ‎‡2  BNE|XX1733039‏
996 ‎‡2  NTA|15422524X‏
996 ‎‡2  NII|DA0611734X‏
996 ‎‡2  PTBNP|1284211‏
996 ‎‡2  WKP|Q113623145‏
996 ‎‡2  NUKAT|n 2006081126‏
996 ‎‡2  LC|no2006106444‏
996 ‎‡2  PTBNP|1824106‏
996 ‎‡2  LC|n 89630748‏
996 ‎‡2  NTA|096997370‏
996 ‎‡2  ISNI|0000000454581744‏
996 ‎‡2  RERO|A003800814‏
996 ‎‡2  RERO|A005253745‏
996 ‎‡2  ISNI|0000000406895255‏
996 ‎‡2  ISNI|000000039662950X‏
996 ‎‡2  SIMACOB|17529699‏
996 ‎‡2  NII|DA02184108‏
996 ‎‡2  J9U|987007433458605171‏
996 ‎‡2  ISNI|0000000002810980‏
996 ‎‡2  NDL|00455624‏
996 ‎‡2  SUDOC|195557387‏
996 ‎‡2  ISNI|000000039279767X‏
996 ‎‡2  NUKAT|n 2020203684‏
996 ‎‡2  NKC|xx0057606‏
996 ‎‡2  LC|n 86059236‏
996 ‎‡2  WKP|Q61673960‏
996 ‎‡2  BIBSYS|1602157054178‏
996 ‎‡2  ISNI|0000000108886422‏
996 ‎‡2  NTA|071550542‏
996 ‎‡2  NLA|000035481121‏
996 ‎‡2  ISNI|0000000109877173‏
996 ‎‡2  NUKAT|n 2017020687‏
996 ‎‡2  ISNI|0000000112402451‏
996 ‎‡2  BIBSYS|937‏
996 ‎‡2  RERO|A025294605‏
996 ‎‡2  WKP|Q111036090‏
996 ‎‡2  NKC|xx0100987‏
996 ‎‡2  ISNI|0000000028357889‏
996 ‎‡2  BLBNB|001145191‏
996 ‎‡2  BNF|12714946‏
996 ‎‡2  NUKAT|n 2007055964‏
996 ‎‡2  ISNI|000000007865593X‏
996 ‎‡2  RERO|A012452485‏
996 ‎‡2  NSK|000123136‏
996 ‎‡2  RERO|A003801170‏
996 ‎‡2  ISNI|0000000121476727‏
996 ‎‡2  NLA|000035637480‏
996 ‎‡2  SUDOC|079915388‏
996 ‎‡2  WKP|Q1452506‏
996 ‎‡2  WKP|Q1452501‏
996 ‎‡2  NSK|000677507‏
996 ‎‡2  PLWABN|9810692935005606‏
996 ‎‡2  LC|n 92800905‏
996 ‎‡2  J9U|987007425825205171‏
996 ‎‡2  ISNI|000000001552780X‏
996 ‎‡2  PLWABN|9810538449205606‏
996 ‎‡2  NII|DA04281499‏
996 ‎‡2  NUKAT|nx2023641749‏
996 ‎‡2  ISNI|0000000073858789‏
996 ‎‡2  NTA|371480973‏
996 ‎‡2  CAOONL|ncf10069558‏
996 ‎‡2  WKP|Q102356155‏
996 ‎‡2  ISNI|0000000118724005‏
996 ‎‡2  LC|n 91107849‏
996 ‎‡2  WKP|Q1328633‏
996 ‎‡2  SUDOC|163271933‏
996 ‎‡2  DE633|pe41009238‏
996 ‎‡2  LC|n 85061973‏
996 ‎‡2  NUKAT|n 2016079225‏
996 ‎‡2  BIBSYS|13032800‏
996 ‎‡2  J9U|987007426826605171‏
996 ‎‡2  BIBSYS|90936843‏
996 ‎‡2  LC|n 2019051714‏
996 ‎‡2  LC|no2015106136‏
996 ‎‡2  WKP|Q118283‏
996 ‎‡2  RERO|A024167456‏
996 ‎‡2  ISNI|000000007199463X‏
996 ‎‡2  NSK|000329741‏
996 ‎‡2  PLWABN|9810669935205606‏
996 ‎‡2  ISNI|0000000077052707‏
996 ‎‡2  LC|n 89630874‏
996 ‎‡2  BIBSYS|2057667‏
996 ‎‡2  WKP|Q100723283‏
996 ‎‡2  WKP|Q113998433‏
996 ‎‡2  NKC|pna2013753581‏
996 ‎‡2  BNF|14931557‏
996 ‎‡2  NII|DA02780749‏
996 ‎‡2  PLWABN|9810543975205606‏
996 ‎‡2  CAOONL|ncf11286292‏
996 ‎‡2  ISNI|000000039168557X‏
996 ‎‡2  LC|n 84026634‏
996 ‎‡2  NKC|xx0020882‏
996 ‎‡2  ISNI|0000000012281170‏
996 ‎‡2  ISNI|000000011336133X‏
996 ‎‡2  WKP|Q1889893‏
996 ‎‡2  WKP|Q72090035‏
996 ‎‡2  BAV|495_294747‏
996 ‎‡2  WKP|Q1889890‏
996 ‎‡2  BNF|13775357‏
996 ‎‡2  BNC|981058527259806706‏
996 ‎‡2  ISNI|0000000121453613‏
996 ‎‡2  WKP|Q130462120‏
996 ‎‡2  ISNI|0000000023073238‏
996 ‎‡2  LIH|LNB:V-159406;=BL‏
996 ‎‡2  LC|n 98801832‏
996 ‎‡2  PLWABN|9810677047205606‏
996 ‎‡2  WKP|Q41113750‏
996 ‎‡2  NTA|07322085X‏
996 ‎‡2  LC|n 84118894‏
996 ‎‡2  SUDOC|248783750‏
996 ‎‡2  ISNI|0000000091147542‏
996 ‎‡2  LC|n 83165888‏
996 ‎‡2  J9U|987012747982705171‏
996 ‎‡2  ISNI|0000000395866853‏
996 ‎‡2  NTA|115458409‏
996 ‎‡2  NTA|188906487‏
996 ‎‡2  DE633|pe30058291‏
996 ‎‡2  ISNI|0000000108831958‏
996 ‎‡2  WKP|Q112435063‏
996 ‎‡2  ISNI|0000000019500313‏
996 ‎‡2  NLA|000035964849‏
996 ‎‡2  DE633|pe179756‏
996 ‎‡2  NTA|155262696‏
996 ‎‡2  WKP|Q67072‏
996 ‎‡2  NTA|075002515‏
996 ‎‡2  WKP|Q27652664‏
996 ‎‡2  DE633|pe289498‏
996 ‎‡2  PLWABN|9813275334805606‏
996 ‎‡2  LC|n 2018024166‏
996 ‎‡2  WKP|Q1889895‏
996 ‎‡2  PLWABN|9810623206105606‏
996 ‎‡2  ISNI|0000000435271230‏
996 ‎‡2  LC|n 80064825‏
996 ‎‡2  ISNI|0000000072509552‏
996 ‎‡2  BNF|15883236‏
996 ‎‡2  NTA|23973856X‏
996 ‎‡2  ISNI|0000000048993989‏
996 ‎‡2  ISNI|0000000077787754‏
996 ‎‡2  RERO|A012498300‏
996 ‎‡2  ISNI|000000002855206X‏
996 ‎‡2  ISNI|0000000013295494‏
996 ‎‡2  DE633|pe30053192‏
996 ‎‡2  SUDOC|092345042‏
996 ‎‡2  WKP|Q67395697‏
996 ‎‡2  DE633|pe194550‏
996 ‎‡2  ISNI|000000008281127X‏
996 ‎‡2  LIH|LNB:C_b_G9;=BL‏
996 ‎‡2  RERO|A013646132‏
996 ‎‡2  J9U|987007275281005171‏
996 ‎‡2  NUKAT|n 2014175707‏
996 ‎‡2  ISNI|0000000063182869‏
996 ‎‡2  BNF|15350361‏
996 ‎‡2  RERO|A003800417‏
996 ‎‡2  NUKAT|n 2011214504‏
996 ‎‡2  RERO|A016853052‏
996 ‎‡2  ISNI|0000000025604725‏
996 ‎‡2  NKC|jx20101206013‏
996 ‎‡2  NTA|244668124‏
996 ‎‡2  NTA|39783022X‏
996 ‎‡2  NTA|107927845‏
996 ‎‡2  NTA|408190868‏
996 ‎‡2  DBC|87097919094030‏
996 ‎‡2  BIBSYS|90652476‏
996 ‎‡2  ISNI|0000000114533690‏
996 ‎‡2  NKC|osd2011650756‏
996 ‎‡2  BIBSYS|90969589‏
996 ‎‡2  NTA|23973078X‏
996 ‎‡2  RERO|A003800386‏
996 ‎‡2  LC|n 83135806‏
996 ‎‡2  NUKAT|n 2006100035‏
996 ‎‡2  BNF|15112014‏
996 ‎‡2  LC|n 2004051457‏
996 ‎‡2  LC|n 2013037017‏
996 ‎‡2  SUDOC|273046918‏
996 ‎‡2  WKP|Q99421305‏
996 ‎‡2  NII|DA15802582‏
996 ‎‡2  WKP|Q100717967‏
996 ‎‡2  RERO|A012361231‏
996 ‎‡2  ISNI|0000000024752339‏
996 ‎‡2  BIBSYS|90212409‏
996 ‎‡2  WKP|Q32979483‏
996 ‎‡2  NTA|155261932‏
996 ‎‡2  NTA|069938512‏
996 ‎‡2  WKP|Q91883612‏
996 ‎‡2  NTA|073338125‏
996 ‎‡2  NKC|jn19990007674‏
996 ‎‡2  BIBSYS|90296486‏
996 ‎‡2  LC|n 79133618‏
996 ‎‡2  PLWABN|9810538896505606‏
996 ‎‡2  NTA|072237732‏
996 ‎‡2  PLWABN|9810670107805606‏
996 ‎‡2  BNF|16006095‏
996 ‎‡2  NTA|203859162‏
996 ‎‡2  LC|n 85188557‏
996 ‎‡2  BAV|495_296178‏
996 ‎‡2  WKP|Q1889377‏
996 ‎‡2  ISNI|0000000393745791‏
996 ‎‡2  PLWABN|9810640292105606‏
996 ‎‡2  PLWABN|9810533630005606‏
996 ‎‡2  PLWABN|9810690110605606‏
996 ‎‡2  SUDOC|25791935X‏
996 ‎‡2  WKP|Q65496861‏
996 ‎‡2  WKP|Q5496233‏
996 ‎‡2  ISNI|0000000390061482‏
996 ‎‡2  CAOONL|ncf11358481‏
996 ‎‡2  WKP|Q21043368‏
996 ‎‡2  WKP|Q130775263‏
996 ‎‡2  ISNI|0000000401653505‏
996 ‎‡2  NTA|072193611‏
996 ‎‡2  SUDOC|270831142‏
996 ‎‡2  LC|no2005067967‏
996 ‎‡2  BNF|13978639‏
996 ‎‡2  RERO|A012847459‏
996 ‎‡2  ISNI|0000000026553982‏
996 ‎‡2  NTA|070627738‏
996 ‎‡2  BIBSYS|90142005‏
996 ‎‡2  PLWABN|9810622393205606‏
996 ‎‡2  NUKAT|n 2014132209‏
996 ‎‡2  ISNI|0000000083085177‏
996 ‎‡2  SUDOC|066894913‏
996 ‎‡2  LC|n 83141280‏
996 ‎‡2  NUKAT|n 2006096800‏
996 ‎‡2  BNF|12067259‏
996 ‎‡2  NUKAT|n 2010234022‏
996 ‎‡2  ISNI|0000000390677519‏
997 ‎‡a  0 0 lived 0 0‏ ‎‡9  1‏
998 ‎‡a  Schmidt-Schauss, Manfred‏ ‎‡2  BIBSYS|90181564‏ ‎‡3  exact title: (1.00, 'computationalaspectsofanordersortedlogicwithtermdeclarations', 'computationalaspectsofanordersortedlogicwithtermdeclarations')‏
998 ‎‡a  Schmidt-Schauß, Manfred‏ ‎‡2  SUDOC|244157014‏ ‎‡3  exact title: (1.00, 'computationalaspectsofanordersortedlogicwithtermdeclarations', 'computationalaspectsofanordersortedlogicwithtermdeclarations')‏
998 ‎‡a  Schmidt-Schauß, M.‏ ‎‡q  (Manfred)‏ ‎‡2  NII|DA03712890‏ ‎‡3  exact title: (1.00, 'computationalaspectsofanordersortedlogicwithtermdeclarations', 'computationalaspectsofanordersortedlogicwithtermdeclarations')‏
998 ‎‡a  Schmidt-Schauss, Manfred.‏ ‎‡2  NUKAT|n 99030646‏ ‎‡3  viafid‏ ‎‡3  standard number‏
998 ‎‡a  Schmidt-Schauss, Manfred‏ ‎‡2  RERO|A006123197‏ ‎‡3  standard number‏
998 ‎‡a  Manfred Schmidt-Schauß‏ ‎‡c  Dr. rer. nat. Universität Kaiserslautern 1988‏ ‎‡2  WKP|Q102356155‏ ‎‡3  suggested‏
998 ‎‡a  Schmidt-Schauss, M.‏ ‎‡2  BIBSYS|90356404‏ ‎‡3  viafid‏ ‎‡3  standard number‏
998 ‎‡a  Schmidt-Schauss, Manfred‏ ‎‡2  PLWABN|9812829951505606‏ ‎‡3  exact title: (1.00, 'computationalaspectsofanordersortedlogicwithtermdeclarations', 'computationalaspectsofanordersortedlogicwithtermdeclarations')‏
998 ‎‡a  Schmidt-Schauss, Manfred,‏ ‎‡2  LC|no2011101715‏ ‎‡3  standard number‏
998 ‎‡a  Schmidt-Schauß, Manfred,‏ ‎‡2  NTA|074597116‏ ‎‡3  exact title: (1.00, 'computationalaspectsofanordersortedlogicwithtermdeclarations', 'computationalaspectsofanordersortedlogicwithtermdeclarations')‏
999 ‎‡2  DDB|1299279473‏
999 ‎‡2  DDB|891278044‏
999 ‎‡2  DDB|1246364360‏
999 ‎‡2  DDB|1246364395‏
999 ‎‡2  DDB|1180493710‏
999 ‎‡2  DDB|128948113X‏
999 ‎‡2  DDB|1246364387‏
999 ‎‡2  DDB|1299279627‏
999 ‎‡2  DDB|890986460‏
999 ‎‡2  DDB|1180493745‏
999 ‎‡2  DDB|1180493737‏
999 ‎‡2  DDB|1137954361‏
999 ‎‡2  DDB|1299279481‏
999 ‎‡2  DDB|1289481059‏
999 ‎‡2  DDB|1246364379‏
999 ‎‡2  DDB|129927966X‏
999 ‎‡2  DDB|1196203148‏