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 to this, new walls were built to defend the city, and the fleet on the Danube improved.

Subsequent court cases declared that ESTs were not directly patentable.

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

Subsequent studies and collections during the Plantation Era were made in 1885, 1905, 1939, and 1967.

Subsequent standards were developed and published by ETSI to cover interoperability profiles and standards for testing.

Subsequent Godzilla suits worn by Satsuma were much safer and more comfortable, as they were custom-made to fit him ( even though the suits still had some dangers of their own ).

Subsequent attempts by Emperor Augustus to annex territories east of the Rhine were abandoned, after Arminius annihilated three Roman legions at the Battle of the Teutoburg forest in 9 AD.

Subsequent moves were made to Wilson Street and Ingram Street.

Subsequent to nationalisation, operations were taken over by the GPO.

Subsequent steam engines were to power the Industrial Revolution

Subsequent talks, called SALT II, were held from 1972 to 1979 and actually reduced the number of nuclear warheads held by the USA and USSR.

Subsequent albums saw greater experimentation and were accompanied by record-breaking tours, which earned them a reputation for excess.

Subsequent attempts to verify the claims requested payroll cards from employers to verify employment, and found that the minimum wage increases were followed by decreases in employment.

Subsequent agreements were designed to reintegrate the Contras and their supporters into Nicaraguan society preparatory in preparation for general elections.

Subsequent rounds of negotiations were held in Budapest, Hungary, Vienna, Austria, and Helsinki, Finland.

" Among those included were the previous decrees placing various heliocentric works on the Index ("... which we will should be considered as though it were inserted in these presents, together with all, and singular, the things contained therein ...") and using his Apostolic authority he bound the faithful to its contents ("... and approve with Apostolic authority by the tenor of these presents, and: command and enjoin all persons everywhere to yield this Index a constant and complete obedience ...") Subsequent to Alexander VII's pontificate, the Index underwent a number of revisions.

Subsequent sightings between this date and 1829 were made by other Europeans, but as in the case of the sighting and observations made by Vlamingh, the area was considered to be inhospitable and unsuitable for the agriculture which would be needed to sustain a settlement.

Subsequent Ryder Cup tournaments were moved from odd-numbered to even-numbered years to retain the two-year gap between stagings.

Subsequent to this, five superstring theories were developed that incorporated fermions and possessed other properties necessary for a theory of everything.

Subsequent two-part episodes, beginning with the second season premiere, " Alexander The Greater Affair ," retitled One Spy Too Many for its theatrical release, were developed into one complete feature film with only occasional extra sexy and violent footage added to them, sometimes as just inserts.

Subsequent advances added more and more transistors, and, as a consequence, more individual functions or systems were integrated over time.

Subsequent Nobel Prize winner Ada Yonath, who shared the 2009 Nobel Prize in Chemistry with Thomas A. Steitz and Venkatraman Ramakrishnan, spent some time in Lipscomb's lab where both she and Steitz were inspired to pursue later their own very large structures.

Subsequent aircraft included the larger M-2 " Bull " Stearman and the Boeing 40 dedicated mail planes, and finally the more modern Boeing 247 twin-engine monoplane.

Subsequent to recommendations made in the Clarke report relating to the improvement of river safety, the Government asked the Maritime and Coastguard Agency, the Port of London Authority and the Royal National Lifeboat Institution ( RNLI ) to work together to set up a dedicated Search and Rescue service for the tidal River Thames.

Subsequent ceremonies dedicated additional features such as Gordon House on March 2, 2002, and the Rediscovery Forest and Natural Resources Center on June 7, 2002.

Subsequent international agreements, for which Brownlee acted as an advisor to the Canadian delegation, resulted in more favourable terms for farmers.

Subsequent international purchases have seen the show screened in the United States on BBC America, on The Box in the Netherlands, dubbed to Spanish and Portuguese on Cartoon Network's Adult Swim in Latin America, on the ABC in Australia, on TVNZ's TV2 in New Zealand, and also dubbed in French for the Canadian Télétoon network.

" Subsequent Filipino-American freestyle artists include Jocelyn Enriquez, Buffy, Korell, One Voice, Damien Bautista, Kuya, and others.

Subsequent artists to have releases on the label include Ape School, Cougar, cross-genre punk band The Death Set and The Heavy.

Subsequent European comic depictions of the Beagle Boys by artists other than Barks also showed them in red shirts, as did the DuckTales cartoons.

Subsequent recordings with Satriani and other rock / fusion artists, along with the release of his own solo recordings ( featuring a. o.

Subsequent generations of Dutch cabaret artists, and the theater critics of the 1970s and 1980s, were not much impressed by Toon Hermans ' unpretentious, politically and socially disengaged entertainment, but his fan base remained very large and his road shows continued to attract very large crowds.

Subsequent transgressive artists of the 1990s overlapped the boundaries of literature, art, and music, most notably GG Allin, Lisa Crystal Carver, and Costes.

Subsequent volumes became available in 2008 ( including songs by Gretchen Wilson, Keith Urban and Trace Adkins ), 2009 ( an album of comedy tracks with material from comedians such as Chris Rock, Ray Romano and Adam Sandler ), 2010 ( featuring songs by Matchbox 20, Brandi Carlile, Ingrid Michaelson, and Gavin DeGraw ), and 2011 artists including Sara Bareilles, Mayday Parade and REO Speedwagon.

Subsequent to this emerging generation of artists who felt Olson's impact, poets such as Robert Creeley and Robert Duncan would in turn exert their own huge impact on our national poetries ( see also: Black Mountain poets and San Francisco Renaissance ).

Subsequent to 1950, the song was recorded by numerous artists across several genres.

Subsequent artists included Shy FX, Ed Rush, 4 Hero and DJ Rap, some fusing drum and bass with influences from jazz, film music, ambient and trip-hop.

Subsequent fellowships such as Narcotics Anonymous have adopted and adapted the Twelve Steps and the Twelve Traditions to their respective primary purposes.

Subsequent research by the likes of Hutton and Heselton has shown that in fact the New Forest coven was probably only formed in the early 20th century, based upon such sources as folk magic and the theories of Margaret Murray.

Subsequent attempts to prove Salisbury's involvement, such as Francis Edwards's 1969 work Guy Fawkes: the real story of the gunpowder plot ?, have similarly foundered on the lack of any clear evidence.

Subsequent albums have explored other musical directions such as pop, rock and electronica.

Subsequent composers have tended to follow Wagner's example, though some, such as Stravinsky in his The Rake's Progress have bucked the trend.

Subsequent tours have since been created by PokerStars, such as Latin American Poker Tour and Asia Pacific Poker Tour, as well as other national tours.

Subsequent Greek historians — such as Ctesias, Diodorus, Strabo, Polybius and Plutarch — held up Thucydides ' writings as a model of truthful history.

Subsequent German wartime aircraft design took account of the discovery, evident in the slim mid-fuselage of aircraft such as the Messerschmitt P. 1112, P. 1106, and the indisputably wasp-waisted Focke-Wulf Fw 1000x3 type A long range bomber, but also apparent in delta wing designs like the Henschel Hs 135.

Subsequent to the outbreak of hostilities with NATO, Belgrade received no foreign aid from the United States and other west European countries, but has received much aid from other countries such as Russia and Greece.

Subsequent observations showed Halley's deuterium ratio to be far higher than that in found in the Earth's oceans, making such comets unlikely sources for Earth's water.

Subsequent episodes generally follow the course of one such " leap "; after initially struggling with the displacement ( often concluding with saying " Oh, boy!

Subsequent calculations found that such a model would require prohibitive amounts of energy.

Subsequent Isin rulers appointed governors to rule over Lagash ; one such governor was an Amorite named Gungunum.

Subsequent administrations maintained stability with continued assistance from PRI members such as Secretary of Finance Francisco Gil Diaz and Bank of Mexico Governor Guillermo Ortiz.

Subsequent Disney films such as Pocahontas, The Hunchback of Notre Dame, Hercules, Mulan and Tarzan were box office and critical successes as well, albeit modestly so when compared to The Lion King.

Subsequent English sieges, such as the attacks on Bothwell and Stirling, again used considerable resources including giant siege engines and extensive teams of miners and masons.

Subsequent " clean room " reverse engineering, published in 2004, clarifies some details of the native VLIW architecture and associated instruction set, and suggests that there are fundamental limitations that preclude porting an operating system such as Linux to it.

Subsequent designs, either licensed from Sony or manufactured after the patent's expiration, tend to use the-tron suffix, such as Mitsubishi's DiamondTron and ViewSonic's SonicTron.

( Subsequent research has, in fact, found such citations, notably by the Roman historian Tacitus and the Jewish historian Josephus, although these citations are not contemporaneous with Jesus ' life and are viewed by some as forgeries.

Subsequent commentators have further noted that there is an apparent residual absurdity in asserting a first-person future-tense sentence such as ' It will be raining and I will believe that it is not raining '.

Subsequent repeated accounts of xenophobic and racist statements by individual Reform party supporters and members spread this concern, though the party itself continuously denied that it supported such views.

Subsequent letters from readers condemned Farhi for expressing such harshness toward the recently deceased ; one wrote, " In the name of fairness, please be sure to allow the Berenstain family the opportunity to someday retort in Farhi's obituary.

Subsequent studies, such as one concerning the Carpathian Basin, and a non-metrical analysis of skeletons in central-southern Germany, have also identified marked typological differences with the pre-Beaker inhabitants.

Subsequent legions levied by Caesar — such as Legio V Alaudae ( Larks ), Legio XI, Legio XII Victrix, Legio XIII Gemina and XIV — all took the bull as one of their emblems.