Subsequent formalizations were framed as attempts to define " effective calculability " or " effective method "; those formalizations included the Gödel – Herbrand – Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's " Formulation 1 " of 1936, and Alan Turing's Turing machines of 1936 – 7 and 1939.

Subsequent multi-user versions were tested by customers in 1978 and 1979, by which time a standardized query language – SQL – had been added.

* 1946 – The " Subsequent Nuremberg Trials " begin with the " Doctors ' Trial ", prosecuting doctors alleged to be involved in human experimentation.

Subsequent medical waste discoveries on beaches in Coney Island and in Monmouth County, New Jersey force the closure of numerous New York – area beaches in the middle of one of the hottest summers on record in the American Northeast.

Subsequent investigation indicates instead that the town was in fact named for Selma Michelsen ( 1853 – 1910 ), wife of a railroad employee who had submitted her name for inclusion on a list of candidate names prepared by his supervisor.

Subsequent mayors have included Marvin Hoeflinger ( 1979 – 1981 ), Gerald DeRuiter ( 1981 – 1992 ), Bill Hardiman ( 1992 – 2002 ), Richard Root ( 2002 – 2012 ), and Richard Clanton ( 2012-present ).

Subsequent revolts ( 1479 – 1488 ) were punished by the removal en masse of the richest and most ancient families of Novgorod to Moscow, Vyatka, and other central Russian cities.

Subsequent chief conductors included Rafael Kubelík ( 1942 – 1948 ), Karel Ančerl ( 1950 – 1968 ), Václav Neumann ( 1968 – 1989 ), Jiri Belohlavek ( 1990 – 1992 ), Gerd Albrecht ( 1993 – 1996 ), Vladimir Ashkenazy ( 1996 – 2003 ), and Zdeněk Mácal ( 2003 – 2007 ).

Subsequent principal conductors, with the title of Music Director, were Artur Rodziński ( 1933 – 1943 ), Erich Leinsdorf ( 1943 – 1944 ), George Szell ( 1946 – 1970 ), Pierre Boulez ( Musical Advisor 1970-1972 ), Lorin Maazel ( 1972 – 1982 ), and Christoph von Dohnányi ( 1984 – 2002 ).

Subsequent illegal deforestation and bribery of park rangers made the poaching of Siberian tigers easier, once again putting the subspecies at risk from extinction.

Subsequent studies were on extinction methods, in which attention is given only when persons are not engaging in self-injury.

Subsequent to the Playoffs, Dokic was awarded a main draw wildcard entry into the inaugural, 2009 Brisbane International event.

Subsequent investigations of the event reached conflicting conclusions on whether the police or the marchers fired the first shots.

Subsequent news stories reporting this event appeared in the Des Moines Register and Ottumwa Courier on April 30, 2009.

Subsequent research of this event have shown that continental slope sediment failures mostly occurred below 650 meter water depth.

Subsequent interpretations have largely built on this theory even if they disallow that a temple sculpture could represent a contemporary event rather than a mythological or historical one.

Subsequent to this event an even larger strategy was set forth.

Subsequent research has shown that this event took place near the River Liffey.

" Subsequent sexual revolution has lessened the conflicts arising out of liberalism, but not eliminated them.

Subsequent amendments eliminated certain elements of this law's inherent discrimination against women.

Subsequent revelations of accounting fraud brought about his imprisonment and divorce.

Subsequent data gathering in the 1980s by historians Vladimir Žerjavić and Bogoljub Kočović showed that the actual number of dead was about 1 million.

Subsequent sources were often confused about the origin of the species.

Subsequent stories about the gunfight published in the Nugget after that day supported Behan and the Cowboys ' view of events.

Subsequent speculation about the structure of atoms was severely constrained by Ernest Rutherford's 1907 gold foil experiment, showing that the atom is mainly empty space, with almost all its mass concentrated in a ( relatively ) tiny atomic nucleus.

Subsequent learning about the complex processes of learning are discussed in the Learning curve article.

Subsequent investigations were to reveal its role as a messenger about a century later.

Subsequent issues combine analysis of current events with articles about the revolutionary tradition.

Subsequent research by Malatzky, published in October 2009, revealed further information on Chapman, including information about his family and that he was from Newburgh, New York ; Malatzky also found evidence that he died in Newburgh as well.

Subsequent eruptions and eruptive period occurred about ~ 17, 000 ( Sacobia Eruptive Period ); ~ 9000 ( Pasbul Eruptive Period ); ~ 6000 – 5000 ( Crow Valley Eruptive Period ); ~ 3, 900 – 2, 300 ( Maraunot Eruptive Period ); and ~ 500 years ago ( Buag Eruptive Period ).

Subsequent estimates of casualties vary from 7, 000 to 40, 000 people killed, including about 1, 000 soldiers.

Subsequent research has uncovered more about the manuscript.

Subsequent nationalist movements, writers and politicians wrote about the Ottoman presence in very hostile and negative terms, with many works being vacuous, based on suspect sources and heavily biased.

Subsequent to the demoralising election result, the Values Party faced internal conflict between the " red " greens and the " fundamentalist " Greens, and it fragmented, amidst quarrels about organisational principles.

Subsequent engineering analysis has focused on the cause of the landslide, and there is ongoing debate about the contribution of rainfall, dam level changes and earthquakes as triggers of the landslide, as well as differing views about whether it was an old landslide that slipped further or a completely new one.

Subsequent charters ( from 1641, 1691, and 1837 ) diligently repeated the 1619 charter's phrases about Ivan Susanin being " investigated by Polish and Lithuanian people and subjected to incredible and great tortures in order to learn the great tsar's whereabouts but, though aware about that and suffering incredible pains, saying nothing and in revenge for this being tortured by Polish and Lithuanian people to death ".

Subsequent volcanism about 9, 300 years ago produced a long dacite lava flow from Opal Cone on Garibaldi's southeastern flank.

Subsequent films are less highly regarded, but may well be due for reappraisal: David Thomson wrote about " the fascinating application of the operatic technique to an unusually dark story " in Une chambre en ville ( A Room in Town, 1982 ).

Subsequent episodes featured Wyngarde playing King trying to write his novels and being hassled by his publisher Nicola Harvester about deadlines.

Subsequent analysis has shown that the transformation was brought about by an insert consisting of ~ 4. 5 kilobases from the left arm of the viral genome, which became incorporated into human chromosome 19.

Subsequent plays include Hauptmann, about the Lindbergh baby kidnapping, and Riverview, a musical melodrama set at Chicago's famed amusement park.

Subsequent broadcasts from an updated satellite would contain the most recent accurate information about its orbit.