VIAF

Virtual International Authority File

Search

Leader 00000nz a2200037n 45 0
001 LC|nb2019020237 (VIAF cluster) (Authority/Source Record)
005 20191024053947.0
008 191022n| azannaabn |a aaa
003 LC
035 ‎‡a (LC)11200802‏
010 ‎‡a nb2019020237‏
035 ‎‡a (Uk)010657632‏
035 ‎‡a (DLC)11202076‏
035 ‎‡a (DLC)nb2019020237‏
040 ‎‡a Uk‏ ‎‡b eng‏ ‎‡e rda‏ ‎‡c Uk‏
046 ‎‡s 20‏
100 1 ‎‡a Ribeiro, Pedro‏ ‎‡q (Pedro Fernando de Oliveira Salazar)‏
370 ‎‡f York (England)‏ ‎‡2 naf‏
372 ‎‡a Computer programming‏ ‎‡a Formal methods (Computer science)‏ ‎‡a College teaching‏ ‎‡2 lcsh‏
373 ‎‡a University of York‏ ‎‡2 naf‏
374 ‎‡a College teachers‏ ‎‡2 lcsh‏
375 ‎‡a Males‏ ‎‡2 lcsh‏
377 ‎‡a eng‏
378 ‎‡q Pedro Fernando de Oliveira Salazar‏
400 1 ‎‡a Ribeiro, Pedro Fernando de Oliveira Salazar‏
400 1 ‎‡a Fernando de Oliveira Salazar Ribeiro, Pedro‏
400 1 ‎‡a De Oliveira Salazar Ribeiro, Pedro Fernando‏
400 1 ‎‡a Oliveira Salazar Ribeiro, Pedro Fernando de‏
400 1 ‎‡a Salazar Ribeiro, Pedro Fernando de Oliveira‏
670 ‎‡a Unifying theories of programming, [2019]:‏ ‎‡b t.p. (Pedro Ribeiro) t.p. verso (University of York, York, UK)‏
670 ‎‡a Angelic processes, 2014:‏ ‎‡b PDF t.p. (Pedro Fernando de Oliveira Salazar Ribeiro; Doctor of Philosophy, University of York, Computer Science)‏
919 ‎‡a unifyingtheoriesofprogramming‏ ‎‡A Unifying theories of programming, [2019]:‏ ‎‡9 1‏
919 ‎‡a angelicprocesses‏ ‎‡A Angelic processes, 2014:‏ ‎‡9 1‏
943 ‎‡a 201x‏ ‎‡A 2019‏ ‎‡9 2‏
945 ‎‡a college teachers‏ ‎‡A College teachers‏ ‎‡9 1‏
946 ‎‡a u‏ ‎‡9 1‏
948 ‎‡a eng‏ ‎‡9 1‏
970 ‎‡a formal methods computer science‏ ‎‡A Formal methods (Computer science)‏ ‎‡9 1‏
970 ‎‡a college teaching‏ ‎‡A College teaching‏ ‎‡9 1‏
970 ‎‡a computer programming‏ ‎‡A Computer programming‏ ‎‡9 1‏
996 ‎‡2 WKP|Q98612192‏
996 ‎‡2 BNF|17130275‏
996 ‎‡2 CAOONL|ncf11895867‏
996 ‎‡2 PTBNP|1535036‏
996 ‎‡2 SUDOC|242125239‏
996 ‎‡2 WKP|Q96067413‏
996 ‎‡2 ISNI|0000000453649487‏
996 ‎‡2 PTBNP|819626‏
996 ‎‡2 WKP|Q40517136‏
996 ‎‡2 PTBNP|1768609‏
996 ‎‡2 PTBNP|1916769‏
996 ‎‡2 SUDOC|13317302X‏
996 ‎‡2 WKP|Q54215716‏
996 ‎‡2 WKP|Q88973214‏
996 ‎‡2 PTBNP|1204186‏
996 ‎‡2 WKP|Q61873784‏
996 ‎‡2 DNB|115802374X‏
996 ‎‡2 WKP|Q41786173‏
996 ‎‡2 WKP|Q72701009‏
996 ‎‡2 PTBNP|1436866‏
996 ‎‡2 SUDOC|230099769‏
996 ‎‡2 WKP|Q112424112‏
996 ‎‡2 WKP|Q102051058‏
996 ‎‡2 PTBNP|1784163‏
996 ‎‡2 SUDOC|253551277‏
996 ‎‡2 WKP|Q104074173‏
996 ‎‡2 WKP|Q59686873‏
996 ‎‡2 WKP|Q3374117‏
996 ‎‡2 WKP|Q628601‏
996 ‎‡2 WKP|Q90637494‏
996 ‎‡2 WKP|Q16466585‏
996 ‎‡2 WKP|Q57036352‏
996 ‎‡2 PTBNP|1215480‏
996 ‎‡2 PTBNP|1152775‏
996 ‎‡2 DNB|13200514X‏
996 ‎‡2 WKP|Q47503803‏
996 ‎‡2 WKP|Q109785501‏
996 ‎‡2 NUKAT|n 2019160238‏
996 ‎‡2 DNB|1017256780‏
996 ‎‡2 WKP|Q19577526‏
996 ‎‡2 PTBNP|1782152‏
996 ‎‡2 WKP|Q60999590‏
996 ‎‡2 BAV|495_250946‏
996 ‎‡2 WKP|Q20195148‏
996 ‎‡2 J9U|987007323295705171‏
996 ‎‡2 ISNI|0000000036504463‏
996 ‎‡2 WKP|Q2602055‏
996 ‎‡2 PTBNP|1455337‏
996 ‎‡2 WKP|Q91834888‏
996 ‎‡2 WKP|Q79899155‏
996 ‎‡2 PTBNP|996728‏
996 ‎‡2 DNB|1062688996‏
996 ‎‡2 WKP|Q89664009‏
996 ‎‡2 ISNI|0000000060003191‏
996 ‎‡2 WKP|Q95475099‏
996 ‎‡2 SUDOC|225425777‏
996 ‎‡2 PTBNP|1887613‏
996 ‎‡2 NTA|403930146‏
996 ‎‡2 WKP|Q57963384‏
996 ‎‡2 WKP|Q21006069‏
996 ‎‡2 WKP|Q125602786‏
996 ‎‡2 WKP|Q57412729‏
996 ‎‡2 WKP|Q16236414‏
996 ‎‡2 BLBNB|000282123‏
996 ‎‡2 WKP|Q61879586‏
996 ‎‡2 WKP|Q59011103‏
996 ‎‡2 WKP|Q47874566‏
996 ‎‡2 SUDOC|203722256‏
996 ‎‡2 WKP|Q88453313‏
996 ‎‡2 WKP|Q90098466‏
996 ‎‡2 WKP|Q71597705‏
996 ‎‡2 WKP|Q60048755‏
996 ‎‡2 DNB|17177146X‏
996 ‎‡2 BNC|981058515529406706‏
996 ‎‡2 PTBNP|1564806‏
996 ‎‡2 WKP|Q61892333‏
996 ‎‡2 WKP|Q57914960‏
996 ‎‡2 DNB|1056365048‏
996 ‎‡2 WKP|Q1621583‏
996 ‎‡2 ISNI|000000043231280X‏
996 ‎‡2 PTBNP|1473038‏
996 ‎‡2 WKP|Q104450796‏
996 ‎‡2 WKP|Q86621240‏
996 ‎‡2 PTBNP|33971‏
996 ‎‡2 PTBNP|1772453‏
996 ‎‡2 WKP|Q109785022‏
996 ‎‡2 WKP|Q123144362‏
996 ‎‡2 WKP|Q93156494‏
996 ‎‡2 DNB|1334523975‏
996 ‎‡2 ISNI|0000000070228730‏
996 ‎‡2 PTBNP|283573‏
996 ‎‡2 WKP|Q54195191‏
996 ‎‡2 WKP|Q64852254‏
996 ‎‡2 WKP|Q18127528‏
996 ‎‡2 WKP|Q7159832‏
996 ‎‡2 PTBNP|1452791‏
996 ‎‡2 WKP|Q109786680‏
996 ‎‡2 SUDOC|255276508‏
996 ‎‡2 WKP|Q88571544‏
996 ‎‡2 PLWABN|9810668447705606‏
996 ‎‡2 BNE|XX984116‏
996 ‎‡2 WKP|Q16236441‏
996 ‎‡2 WKP|Q123692288‏
996 ‎‡2 DNB|122789676X‏
996 ‎‡2 PTBNP|1510245‏
996 ‎‡2 PTBNP|1190778‏
996 ‎‡2 WKP|Q16669379‏
996 ‎‡2 WKP|Q90039489‏
996 ‎‡2 PTBNP|1537807‏
996 ‎‡2 DNB|127925023‏
996 ‎‡2 J9U|987012501635505171‏
996 ‎‡2 PTBNP|1535255‏
996 ‎‡2 WKP|Q92981014‏
996 ‎‡2 BNE|XX5581923‏
996 ‎‡2 WKP|Q100405968‏
996 ‎‡2 WKP|Q60729486‏
996 ‎‡2 SUDOC|150800444‏
996 ‎‡2 WKP|Q7159748‏
996 ‎‡2 NSK|000667094‏
996 ‎‡2 WKP|Q61877724‏
996 ‎‡2 BIBSYS|9014808‏
996 ‎‡2 PTBNP|1917072‏
996 ‎‡2 WKP|Q109779546‏
996 ‎‡2 WKP|Q57084292‏
996 ‎‡2 DNB|1257933582‏
996 ‎‡2 PTBNP|1155186‏
996 ‎‡2 WKP|Q96034824‏
996 ‎‡2 ISNI|0000000069490328‏
996 ‎‡2 PTBNP|1655301‏
996 ‎‡2 PTBNP|1120925‏
996 ‎‡2 WKP|Q83392136‏
996 ‎‡2 RERO|A003779864‏
996 ‎‡2 WKP|Q10347723‏
996 ‎‡2 WKP|Q130883110‏
996 ‎‡2 PTBNP|1609148‏
996 ‎‡2 BLBNB|001589023‏
996 ‎‡2 WKP|Q10347616‏
996 ‎‡2 PTBNP|1658328‏
996 ‎‡2 ISNI|0000000070404343‏
996 ‎‡2 WKP|Q83111807‏
997 ‎‡a 2000 0 flourished 0 0‏ ‎‡9 1‏
998 ‎‡a Ribeiro, Pedro,‏ ‎‡2 SUDOC|13317302X‏ ‎‡3 title: (0.66, 'unifyingtheoriesofprogramming', 'unifyingtheoriesofprogramming7internationalsymposiumutp2019dedicatedtotonyhoareontheoccasionofhis85thbirthdayportoportugaloctober82019proceedings')‏