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  angelicprocesses‏ ‎‡A  Angelic processes, 2014:‏ ‎‡9  1‏
919 ‎‡a  unifyingtheoriesofprogramming‏ ‎‡A  Unifying theories of programming, [2019]:‏ ‎‡9  1‏
943 ‎‡a  201x‏ ‎‡A  2014‏ ‎‡9  2‏
945 ‎‡a  college teachers‏ ‎‡A  College teachers‏ ‎‡9  1‏
946 ‎‡a  u‏ ‎‡9  1‏
948 ‎‡a  eng‏ ‎‡9  1‏
970 ‎‡a  computer programming‏ ‎‡A  Computer programming‏ ‎‡9  1‏
970 ‎‡a  formal methods computer science‏ ‎‡A  Formal methods (Computer science)‏ ‎‡9  1‏
970 ‎‡a  college teaching‏ ‎‡A  College teaching‏ ‎‡9  1‏
996 ‎‡2  WKP|Q98612192‏
996 ‎‡2  BNF|17130275‏
996 ‎‡2  PTBNP|1768609‏
996 ‎‡2  WKP|Q61873784‏
996 ‎‡2  SUDOC|242125239‏
996 ‎‡2  WKP|Q96067413‏
996 ‎‡2  ISNI|0000000453649487‏
996 ‎‡2  PTBNP|819626‏
996 ‎‡2  WKP|Q40517136‏
996 ‎‡2  CAOONL|ncf11895867‏
996 ‎‡2  SUDOC|13317302X‏
996 ‎‡2  WKP|Q54215716‏
996 ‎‡2  WKP|Q88973214‏
996 ‎‡2  PTBNP|1204186‏
996 ‎‡2  PTBNP|1535036‏
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  DNB|122789676X‏
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  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  SUDOC|253551277‏
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  PTBNP|1916769‏
996 ‎‡2  BNE|XX5581923‏
996 ‎‡2  WKP|Q100405968‏
996 ‎‡2  WKP|Q60729486‏
996 ‎‡2  WKP|Q7159748‏
996 ‎‡2  BNC|981058515529406706‏
996 ‎‡2  SUDOC|150800444‏
996 ‎‡2  NSK|000667094‏
996 ‎‡2  WKP|Q61877724‏
996 ‎‡2  BIBSYS|9014808‏
996 ‎‡2  WKP|Q92981014‏
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')‏